Lógica formal

297 visualizações

Publicada em

0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
297
No SlideShare
0
A partir de incorporações
0
Número de incorporações
3
Ações
Compartilhamentos
0
Downloads
1
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Lógica formal

  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.

×