Se atente aos sinais de negação, pois se tiver, na coluna da letra vai ser contrariado (invertido) ⚠ 🏁

Método eficiente para descobrir se é tautologia ou contradição

começa em 25:35

conjunção

• “e” ^:
P Q P ^ Q
V V= V
V F =F
F V =F
F F =F

Para ser verdadeiro, AS DUAS ideias tem que ser verdadeiras

disjunção

“ou” v:
P Q P v Q
V V =V
V F =V
F V =V
F F =F

Para ser verdadeiro, UMA das ideias tem que ser verdadeira

condicional

“Se...então...” →:
Q P → Q
V V= V
V F =F
F V =V
F F =V

Para ser verdadeiro, a PRIMEIRA tem que ser falsa, independente das outras ideias

Vera Fisher

bicondicional

“Se somente se” ↔:
P Q P ↔ Q
V V =V
V F =F
F V =F
F F =V

Para ser verdadeiro, as DUAS ideias tem que ser IGUAIS

disjunção exclusiva

• “Ou...ou...” v:
Q P v Q
V V =F
V F =V
F V =V
F F =F

Para ser verdadeiro, as DUAS ideias tem que ser DIFERENTES

Revisão:

• O “e” só é verdadeiro quando as duas ideias forem verdadeiras.
• O “ou” não aceita duas falsas.
• O “Se... então” só é falso quando Vera Fischer (V → F = F).
• O “Se somente se” só é verdadeiro quando um lado for igual ao outro.
• O “Ou... ou...” é o contrário de “Se somente se”, ou seja, as duas não
  podem ser verdadeiras ou falsas.

DICA:
Quando pedem o número de preposições, você conta os conectivos e soma mais 1

Ex:

proposição composta “O servidor falta ao serviço se, e somente se, estiver doente ou o trânsito estiver congestionado, mas a falta deve ser compensada e o gerente deve ser avisado”.
.

• Conectivos:
  se, e somente se
  ou
  mas
  e
  .
• Proposições: 5
  O servidor falta ao serviço
  estiver doente
  o trânsito estiver congestionado,
  a falta deve ser compensada
  o gerente deve ser avisado.

• ABDUÇÃO = PREMISSA
  .
• INDUÇÃO = REGRA
  .
• DEDUÇÃO = CONCLUSÃO
  .
• Dedução corresponde a determinar a
  conclusão. Utiliza-se da regra e sua premissa para
  chegar a uma conclusão. Exemplo: "Quando
  chove, a grama fica molhada. Choveu hoje.
  Portanto, a grama está molhada." É comum
  associar os matemáticos com este tipo de
  raciocínio.
  .
• Indução é determinar a regra. É aprender a
  regra a partir de diversos exemplos de como a
  conclusão segue da premissa. Exemplo: "A grama
  ficou molhada todas as vezes em que choveu.
  Então, se chover amanhã, a grama ficará
  molhada." É comum associar os cientistas com
  este estilo de raciocínio.
  .
• Abdução significa determinar a premissa.
  Usa-se a conclusão e a regra para defender que a
  premissa poderia explicar a conclusão. Exemplo:
  "Quando chove, a grama fica molhada. A grama
  está molhada, então pode ter chovido." Associa-
  se este tipo de raciocínio aos diagnosticistas e
  detetives.