Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Lógica formal explicando o conceito

358 views

Published on

Explicando o conceito de toda a lógica e como o computador consegue entender e analisar todos os comando e as condições que a ele é apresnetado

Published in: Education
  • Be the first to comment

  • Be the first to like this

Lógica formal explicando o conceito

  1. 1. Lógica Formal
  2. 2. Informações Rodolfo Fonseca Email: rodolfofonseca01@gmail.com rodolfofonseca01@outlook.com Skype: rodolfo.fonseca12 Facebook: Rodolfo Fonseca WhatsApp: peça mais tarde
  3. 3. Conectivos Lógicos Os Conectivos Lógicos são utilizados para combinar proposições. Que são elas: • Conjunção • Disjunção • Condicional • Equivalência • Negação
  4. 4. Conjunção É popularmente conhecido com “e” e o seu sinal de representação é (^); A B A ^ B V V V V F F F V F F F F Observe que para o resultado ser verdadeiro as duas entradas devem ser verdadeiras.
  5. 5. Disjunção É popularmente conhecido com “ou” e o seu sinal de representação é (v); A B A v B V V V V F V F V V F F F Observe que o resultado apenas retorna falso, quando falso implica em falso.
  6. 6. Condicional É popularmente conhecido com “se” e o seu sinal de representação é (->); A B A -> B V V V V F F F V V F F V Observe que neste caso quando um falso implica em um verdadeiro o resultado é verdadeiro. Mas quando um verdadeiro implica em falso o resultado é falso.
  7. 7. Equivalência É popularmente conhecido com “se e somente se” e o seu sinal de representação é (<->); A B A <-> B V V V V F F F V F F F V Observe que neste caso apenas retorna verdadeiro quando ambas as condições são iguais. Ou tudo falso, ou tudo verdadeiro.
  8. 8. Negação Basicamente a negação seria, em inverter os valores lógicos, exemplo; A A' V F F V Quando se está fazendo a utilização de uma tabela verdade, basicamente se inverte o sinal, mas quando não se está fazendo a utilização, deve-se atentar em inverter também a implicação
  9. 9. Negação As tabelas verdades a seguir, mostra a negação dos conectivos lógicos; Negação do “e” (^) np v nq Negação do “ou” (v) np ^ nq Negação do “implica” (->) p^nq Negação do “equivalencia” (<->) (p^nq)v(p^nq) Leg ^ E v ou -> implica <-> equival ência Observe que quando se nega uma expressão o conectivo muda também.

×