Algumas Modus ponens: Exemplo Formalização

afirmação do
formas antecedente na
de segunda Se está sol, então vou à praia. P→Q
premissa e do Está sol. P
inferência consequente na Logo, vou à praia. Q
válida conclusão.
Modus tollens: Exemplo Formalização
negação do
consequente na Se está sol, então vou à praia. P→Q
segunda Não vou à praia. Q
premissa e do
Logo, não está sol.  P
antecedente na
conclusão.

Exemplo Formalização

Se Deus existe, então o mundo é finito.

P→Q
Logo, se o mundo não é finito, então
 Q →  P
Deus não existe.
Contraposição
Exemplo Formalização
Se o mundo não é finito, então Deus
não existe. Q→P
Logo, se Deus existe, então o mundo é P → Q
finito.
 Exemplo Formalização

Canto ou assobio. PQ

Silogismo
Não canto. P
disjuntivo
Logo, assobio. Q
(disjunção
inclusiva) ou Exemplo Formalização
modus tollendo
ponens Canto ou assobio. PQ
Não assobio. Q
Logo, canto. P

Exemplo Formalização
Se viajar, então aprendo novas coisas.
Silogismo Se aprendo novas coisas, então torno- P→Q
hipotético me melhor pessoa. Q→R
Logo, se viajar, então torno-me melhor P → R
pessoa.
 Exemplo Formalização
Leis de De
Morgan: Não é verdade que fumo e que tenho
indicam-nos  (P  Q)
saúde.
 P   Q
que de uma Negação Logo, não fumo ou não tenho saúde.
conjunção da
conjunção Exemplo Formalização
negativa
podemos Não fumo ou não tenho saúde.
inferir uma PQ
Logo, não é verdade que fumo e que
 (P  Q)
disjunção tenho saúde..
de
negações, e Exemplo Formalização
que de uma
disjunção Não é verdade que há sol ou chuva.  (P  Q)
negativa Logo, não há sol e não há chuva.  P   Q
Negação
podemos da
inferir uma disjunção Exemplo Formalização
conjunção
Não há sol e não há chuva.
de PQ
Logo, não é verdade que há sol ou
negações.   (P  Q)
chuva.
 Formas argumentativas inválidas

Exemplo Formalização

Falácia da
afirmação do Se és meu amigo, então dizes-me sempre a verdade. P→Q
consequente Dizes-me sempre a verdade. Q
Logo, és meu amigo. P

Comete-se quando, a partir de uma proposição condicional, se afirma o consequente na

segunda premissa, concluindo-se com a afirmação do antecedente.

Exemplo Formalização

Falácia da
negação do Se és meu amigo, então dizes-me sempre a verdade. P→Q
antecedente Não és meu amigo. P
Logo, não me dizes sempre a verdade. Q

Comete-se quando, a partir de uma proposição condicional, se nega o antecedente na

segunda premissa, concluindo-se com a negação do consequente.