1.

Argumentação e lógica
formal
 Silogismo condicional

Silogismo cuja premissa maior é uma

proposição condicional

Antecedente Consequente

Exemplo
Premissa maior Se há vida após a morte, então a existência tem sentido.
Premissa menor Há vida após a morte.
Conclusão Logo, a existência tem sentido.
 Expressões alternativas de proposições condicionais

•A existência tem sentido, se houver vida após a morte.

•A existência tem sentido, caso haja vida após a morte.

•Desde que haja vida após a morte, a existência tem sentido.

•Se há vida após a morte, a existência tem sentido.

•A existência não tem sentido, a menos que haja vida após a morte.

•Para a existência ter sentido basta haver vida após a morte.

 Silogismo condicional

Modos válidos

Modo afirmativo Modo negativo

Modus ponens Modus tollens

Há uma relação necessária entre as

premissas e a conclusão.
 Modus ponens

Modo que consiste em afirmar o antecedente na premissa menor

e em afirmar, de seguida, o consequente na conclusão.

Forma lógica Exemplos

Se P, então Q.
Se compro a casa, então gasto muito dinheiro.
P.
Compro a casa.
Logo, Q. Logo, gasto muito dinheiro.

Se não gasto dinheiro, então faço uma boa poupança.

Não gasto dinheiro.
Logo, faço uma boa poupança.
 Modus tollens

Modo que consiste em negar o consequente na premissa menor e

em negar depois o antecedente na conclusão.

Forma lógica Exemplos

Se P, então Q. Se compro a casa, então gasto muito dinheiro.

Não Q. Não gasto muito dinheiro.
Logo, não P. Logo, não compro a casa.

Se estiver sol, então não fico em casa.

Fico em casa.
Logo, não está sol.
 Silogismo condicional: falácias

Falácia da afirmação do consequente: Falácia da negação do antecedente:

afirma-se o consequente na premissa nega-se o antecedente na premissa
menor e o antecedente na conclusão. menor e o consequente na conclusão.
Se P, então Q. Se P, então Q.
Forma lógica Q. Forma lógica Não P.
Logo, P. Logo, não Q.
Exemplos Exemplos

Se chove, então fico em casa. Se chove, então fico em casa.

Fico em casa. Não chove.
Logo, chove. Logo, não fico em casa.

Se não chove, então não fico em casa. Se não chove, então não fico em casa.
Não fico em casa. Chove.
Logo, não chove. Logo, fico em casa.
 Silogismo disjuntivo

Silogismo cuja premissa maior é uma

proposição disjuntiva (que pode ser
exclusiva ou inclusiva).

A premissa menor afirma ou nega uma

das alternativas. A conclusão, por sua
vez, afirma ou nega a outra, em função
do que se passar na premissa menor.

Exemplo
Premissa maior Ou sou inocente ou sou culpado.
Premissa menor Sou inocente.
Conclusão Logo, não sou culpado.
 Silogismo disjuntivo
(disjunção exclusiva)

Modos válidos

Modus ponendo tollens Modus tollendo ponens

(modo que, afirmando, nega) (modo que, negando, afirma)

Há uma relação necessária entre as

premissas e a conclusão.
 Modus ponendo tollens

Modo cuja premissa maior é uma disjunção exclusiva, cuja premissa

menor afirma uma das alternativas e cuja conclusão nega a outra.

Forma lógica Exemplos

Ou P ou Q.
Ou penso ou sinto.
P.
Penso.
Logo, não Q.
Logo, não sinto.

OU:
Ou não estou desconcentrado ou estou cansado.
Ou P ou Q. Estou cansado.
Q. Logo, estou desconcentrado.
Logo, não P.
 Modus tollendo ponens

Modo cuja premissa maior é uma disjunção exclusiva, cuja premissa

menor nega uma das alternativas e cuja conclusão afirma a outra.

Forma lógica Exemplos

Ou P ou Q.
Não P. Ou chove ou faz sol.
Não chove.
Logo, Q.
Logo, faz sol.

OU:
Ou não fico em casa ou não vou para a rua.
Ou P ou Q. Vou para a rua.
Não Q. Logo, não fico em casa.
Logo, P.
 Proposições disjuntivas

Disjunção completa ou
Disjunção inclusiva.
exclusiva.

Uma das alternativas Uma alternativas não

exclui a outra. exclui a outra.

Exemplo: Exemplo:
Ou danço ou estou quieto. Escrevo ou sorrio.
 Falácia no silogismo disjuntivo Modus tollendo ponens

A premissa maior é uma disjunção inclusiva, a Modo cuja premissa maior é uma disjunção
premissa menor apresenta a afirmação de inclusiva, cuja premissa menor apresenta a
uma das alternativas (que não se excluem) e a negação de uma das alternativas (que não se
conclusão nega a outra. excluem) e cuja conclusão afirma a outra.

Forma lógica Exemplos Forma lógica Exemplos

Sou marinheiro ou cantor. P ou Q. Escrevo ou sorrio.

P ou Q.
Sou marinheiro. Não P. Não escrevo.
P.
Logo, não sou cantor. Logo, Q. Logo, sorrio.
Logo, não Q.
Ou:
Ou:
Os pássaros voam ou não
Sou marinheiro ou cantor. P ou Q. cantam.
P ou Q.
Sou cantor. Não Q. Os pássaros cantam.
Q.
Logo, não sou marinheiro. Logo, P. Logo, voam.
Logo, não P.
1.2.2. Lógica proposicional
 PROPOSIÇÃO

Pensamento ou conteúdo expresso por uma frase declarativa, suscetível de

ser considerada verdadeira ou falsa.

As proposições têm valor de verdade.

Simples ou elementares Complexas ou compostas

São proposições em que São proposições em que

não estão presentes está presente um operador
quaisquer operadores. ou mais do que um.

Exemplos Exemplos
As casas são brancas. As casas são amarelas. As casas são brancas ou as casas são amarelas.
Gertrudes é arquiteta. Paulo é engenheiro. Gertrudes é arquiteta e Paulo é engenheiro.
Deus existe. O mundo foi criado por Deus. Se Deus existe, então o mundo foi criado por ele.
Eu sou jogador de futebol. Eu não sou jogador de futebol.
 Proposições

Simples Complexas

O seu valor de verdade

O seu valor de verdade
depende do valor de
depende do facto de elas
verdade das proposições
estarem ou não de acordo
simples e dos operadores
com a realidade.
utilizados.

Gertrudes é arquiteta. Paulo é engenheiro. Gertrudes é arquiteta e Paulo é engenheiro.

verdadeira falsa falsa

Gertrudes é arquiteta ou Paulo é engenheiro.

verdadeira
 Operadores Proposicionais

Trata-se de palavras ou expressões que, sendo ligadas a determinada(s)

proposição(ões), permitem formar novas proposições.

«Penso que», «visto

«E», «ou», «se…,
que», «acredito que»,
então», etc.
«é possível que», etc.

Operadores
verofuncionais
(operadores lógicos
ou conetivas
Proposição complexa função de verdade proposicionais).

Operadores que nos permitem, uma vez conhecidos os valores de verdade das
proposições simples, determinar, apenas com base nessa informação, o valor de
verdade da proposição resultante.
 Variáveis Letras P: Deus existe.
proposicionais proposicionais Q: A vida tem sentido.

Exemplo Forma lógica

Deus existe e a vida tem sentido. P e Q.

Logo, Deus existe. Logo, P.

Argumento dedutivamente válido.

É possível determinar, com base nos operadores

verofuncionais, a validade dos argumentos em que as
proposições se integram.
 OPERADORES VEROFUNCIONAIS

Símbolo Leitura Formas proposicionais

 não Negação
 e Conjunção
Constantes
lógicas  ou Disjunção
→ se..., então Condicional
↔ se, e só se Bicondicional
 PROPOSIÇÃO
As proposições que constituem um argumento tanto podem ser simples como compostas.
Estas últimas resultam da ligação de proposições simples. Os elementos que ligam as
proposições simples para formar proposições compostas são as conetivas. Na lógica
proposicional damos atenção apenas à estrutura dos argumentos que resultam das cinco
conetivas seguintes.

Exemplo Forma lógica Designação Formalização

Paulo não era holandês Não P Negação P
Temos livre-arbítrio e PeQ Conjunção PQ
responsabilidade moral
A ética é imperativa ou P ou Q Disjunção PQ
meramente sugestiva
Se a arte é emoção, então os Se P então Q Condicional P→Q
formalistas estão
equivocados
Vou ao cinema se e só se a P se e só se Q Bicondicional P↔Q
Isabel for
 Forma lógica Exemplos
P Não P. Deus não existe.
PQ P e Q. Deus existe e a vida tem sentido.
PQ P ou Q. Deus existe ou a vida tem sentido.
P→Q Se P, então Q. Se Deus existe, então a vida tem sentido.
P↔Q P se, e só se, Q. Deus existe se, e só se, a vida tiver sentido.

Operador singular,
Aplica-se apenas a uma proposição. «Não».
unário ou monádico

Operador binário ou «E», «ou», «se..., então»,

Aplica-se a duas proposições.
diádico «se, e só se».
 Âmbito dos operadores P: Eu sonho.
Q: Eu estudo.

Operador principal:  Eu sonho e não estudo. PQ

Uma conjunção e uma negação que incide sobre a proposição Q.

Operador principal:  É falso afirmar que eu sonho e não estudo.  (P   Q)

Uma negação que incide sobre a conjunção de P e de  Q.

Âmbito de um operador: refere-se à proposição (ou proposições)

sobre a qual (ou sobre as quais) esse operador incide.

No segundo exemplo, o operador da negação (enquanto operador principal) apresenta

um âmbito diferente do outro operador da negação.
 Formalizar proposições complexas

Isolar as proposições simples

que as constituem e atribuir
Colocar as proposições na variáveis proposicionais a
forma canónica, identificando cada uma. A isto se chama Simbolizar ou formalizar a
os operadores verofuncionais «construir o dicionário» proposição complexa.
envolvidos. dessas proposições ou
proceder à sua
«interpretação».

Exemplo: Não sou bom aluno a Filosofia, a não ser que estude lógica.

Expressão canónica Interpretação (dicionário) Formalização

Se estudo lógica, então sou P: Estudo lógica.

P→Q
bom aluno a Filosofia. Q: Sou bom aluno a Filosofia.
Exemplo: Não sou rico se, e só se, não tenho dinheiro.

Expressão canónica Interpretação (dicionário) Formalização

Não sou rico se, e só se, não P: Sou rico.

P↔Q
tenho dinheiro. Q: Tenho dinheiro.

Exemplo: O ser humano não é feliz, a não ser que o dizer-se que Deus não existe e
a vida é absurda constitua uma falsidade.

Expressão canónica Interpretação (dicionário) Formalização

Se é falso que Deus não P: Deus existe.

existe e que a vida é absurda, Q: A vida é absurda.  ( P  Q) → R
então o ser humano é feliz. R: O ser humano é feliz.
 Negação
P: Portugal é um país asiático.
 P (Não P)
Portugal não é um país asiático.
Expressões
alternativas
Não é verdade que Portugal é um país asiático.
É falso que Portugal seja um país asiático.
É errado afirmar que Portugal é um país asiático.
A negação é uma proposição com a
forma «Não P», representando-se por
« P». Se P é verdadeira,  P é falsa;
Coluna de referência
se P é falsa,  P é verdadeira.
A negação de uma negação (ou dupla
negação) – que se representa por «  P»
– equivale a uma afirmação.
Tabela de verdade
Tabela que apresenta as diversas condições
de verdade de uma forma proposicional
específica, permitindo determinar de modo
mecânico a sua verdade ou falsidade.
A tabela de verdade exibe os valores de
verdade possíveis da(s) proposição(ões) e os
valores de verdade resultantes das
operações efetuadas.
Tabela de verdade
da negação
P P
V F
F V
Primeira parte Segunda parte
Sendo o operador da negação o único operador
unário, só haverá duas filas na tabela.
 Tabela de verdade da conjunção
Conjunção
P Q PQ
P: A vida é enigmática.
Q: A morte é enigmática. V V V
V F F
P  Q (P e Q) F V F
A vida é enigmática e a morte é F F F
enigmática.
Sendo o operador da conjunção, à semelhança dos
que estudaremos a seguir, um operador binário,
Expressões haverá na tabela quatro condições de verdade.
alternativas
A vida é enigmática e a morte também o é. A conjunção é uma proposição com
A vida e a morte são enigmáticas. a forma «P e Q», simbolizando-se por
A vida é enigmática, mas a morte é-o igualmente. «P  Q», a qual é verdadeira se as
Quer a vida quer a morte são enigmáticas.. proposições conectadas – que
também se chamam «proposições
conjuntas» – forem verdadeiras e é
falsa desde que pelo menos uma
dessas proposições seja falsa.
 P: Descartes era racionalista. Tabela de verdade da

Disjuntas
Disjunção
Q: Locke era empirista. disjunção inclusiva
inclusiva
P Q PQ
P  Q (P ou Q) V V V
Descartes era racionalista ou V F V
Locke era empirista. F V V
F F F
A disjunção inclusiva é uma proposição com a forma «P ou Q», simbolizando-se por «P  Q», a qual será
sempre verdadeira, exceto quando P e Q forem simultaneamente falsas.

Tabela de verdade da
Disjunção P: Vou ao cinema. disjunção exclusiva
exclusiva Q: Fico em casa. P Q PQ
V V F
P  Q (Ou P ou Q)
V F V
Ou vou ao cinema ou fico em F V V
casa. F F F
A disjunção exclusiva é uma proposição com a forma «Ou P ou Q», simbolizando-se por «P  Q», a qual é
verdadeira se P e Q possuem valores lógicos distintos e falsa se P e Q possuem o mesmo valor lógico.
 Tabela de verdade da
Condicional P: Marco golos. condicional
(implicação Q: Sou desportista.
P Q P→Q
material)
P → Q (Se P, então Q) V V V
Se marco golos, então sou V F F
desportista. F V V
F F V
Expressões
Antecedente É uma condição suficiente
alternativas
(P) para o consequente.
Sou desportista, se marco golos.
Sou desportista, caso marque golos. Consequente É uma condição necessária
Desde que eu marque golos, sou desportista. (Q) para o antecedente.
Ser desportista é condição necessária para eu
A condicional é uma proposição
marcar golos.
composta com a forma «Se P, então
Marcar golos é condição suficiente para eu ser
Q», simbolizando-se por «P → Q», a
desportista.
qual só é falsa se P – o antecedente
Se marco golos, sou desportista.
– é verdadeira e Q – o consequente
Não sou desportista, a menos que marque golos.
– é falsa. Em todas as restantes
situações, a nova proposição é
verdadeira.
 Tabela de verdade da
Bicondicional P: Sou escritor. bicondicional
(equivalência Q: Publico livros.
material) P Q P↔Q
P ↔ Q (Se, e só se) V V V
Sou escritor se, e só se, publico V F F
livros. F V F
F F V

Expressões
alternativas
Sou escritor se, e somente se, publico livros.
Sou escritor se, e apenas se, publico livros.
Publicar livros é condição necessária e suficiente
para eu ser escritor.
Se sou escritor, publico livros e vice-versa.
A bicondicional é uma proposição
composta com a forma «P se, e só
se, Q», simbolizando-se por «P ↔ Q»,
a qual é verdadeira se ambas as
proposições tiverem o mesmo valor
lógico e falsa se as proposições
tiverem valores lógicos distintos.
 Formas proposicionais e operadores verofuncionais
Proposições
Disjunção
simples
Negação Conjunção Condicional Bicondicional
inclusiva exclusiva

P Q P Q PQ PQ PQ P→Q P↔Q

V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V
 O método das tabelas de verdade

Expressão canónica Interpretação Formalização

Não é verdade que se está P: Está sol.

 (P → Q))
sol então está bom tempo. Q: Está bom tempo.

1. P Q  (P → Q) 2. P Q  (P → Q)
Desenhar a tabela, Colocar na tabela
colocando aí as os valores de V V
verdade das
letras
proposições
V F
proposicionais e a
proposição simples, esgotando F V
complexa. as possibilidades.
F F

3. P Q  (P → Q) 4. P Q  (P → Q)
Calcular os valores
de verdade das V V V Calcular os valores V V F V
proposições, de verdade da
excetuando os
V F F proposição relativa
V F V F
daquela que é F V V ao operador F V F V
relativa ao principal.
operador principal. F F V F F F V
Para duas variáveis, são necessárias quatro filas; para
três, oito; para quatro, dezasseis, etc.

P Q R [R  (P  Q)] ↔ (R  Q)
Determinamos primeiro os valores
V V V V V V V de verdade da conjunção «P  Q» e
V V F V V V V da disjunção «R  Q» (a ordem neste
V F V V F V V caso é irrelevante). De seguida,
V F F F F V F determinamos os valores da
F V V V F V V disjunção «R  (P  Q)». Por fim,
determinamos os valores da
F V F F F F V
bicondicional a partir dos valores
F F V V F V V obtidos para as duas disjunções.
F F F F F V F
 Tautologias ou
verdades lógicas

Fórmulas proposicionais que são sempre verdadeiras, qualquer que seja o

valor de verdade das proposições simples que as constituem.

Exemplo Forma lógica

Se acendo e apago a luz,

(P  Q) → P
então acendo a luz.

P Q (P  Q) → P
V V V V
V F F V
F V F V
F F F V
 Contradições ou
falsidades lógicas

Fórmulas proposicionais que são sempre falsas, independentemente do

valor de verdade das proposições simples que as compõem.

Exemplo Forma lógica

Não penso ou não sonho se,

( P   Q) ↔ (P  Q)
e só se, penso e sonho.

P Q ( P   Q) ↔ (P  Q)
V V F F F F V
V F F V V F F
F V V V F F F
F F V V V F F
 Contingências ou proposições indeterminadas

Fórmulas proposicionais que tanto podem ser verdadeiras como falsas,

consoante os valores lógicos das proposições simples que as compõem.
Exemplo Forma lógica

Se passeio ou corro, então

(P  Q) → R
mantenho a saúde.

P Q R (P  Q) → R

V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
 Equivalências lógicas

Duas proposições são logicamente equivalentes se apresentarem as mesmas

condições de verdade: quando uma for verdadeira, a outra também o será e,
quando uma for falsa, a outra sê-lo-á também. Tal significa que a sua
bicondicional constitui uma verdade lógica ou uma tautologia.

Bicondicional ou equivalência
Equivalência lógica
material

Pode ser verdadeira ou falsa. É sempre verdadeira.

 Exemplo: P Q P↔Q
As duas proposições
Trabalho se, e só se, tenho saúde. complexas são
V V V equivalentes, pois
Forma lógica
V F F apresentam as mesmas
F V F condições de verdade:
têm o mesmo valor de
P↔Q F F V
verdade em qualquer
circunstância.

Exemplo: P Q (P → Q)  (Q → P)
Se trabalho, então tenho saúde e,
se tenho saúde, então trabalho. V V V V V
Forma lógica
V F F F V
F V V F F
(P → Q)  (Q → P) F F V V V
 P Q (P ↔ Q) ↔ [(P → Q)  (Q → P)]

V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V

Tautologia

P ↔ Q  (P → Q)  (Q → P)
ALGUMAS EQUIVALÊNCIAS LÓGICAS
Símbolo de
equivalência P → Q   (P   Q)
lógica P→QPQ
P  Q   ( P   Q)
P  Q   ( P   Q)
PP
P↔QQ↔P
 Tautologias e formas de inferência válida

Condicional Passagem das

ou implicação material premissas à conclusão

P Q [(P → Q)  P] → Q

V V V V V
V F F F V
F V V F V
F F V F V

Uma forma de inferência dedutiva é válida se, e somente se, a fórmula

proposicional (implicativa) que lhe corresponde for uma tautologia.
 Inspetores de
Argumento Interpretação Formalização
circunstâncias
Se sou português,
então sou conhecedor
Num inspetor de P: Sou português. P→Q
de Camões.
circunstâncias, um Q: Sou conhecedor de P
Sou português.
argumento válido será Camões. Q
Logo, sou conhecedor
aquele no qual não de Camões.
existe nenhuma linha
que torne todas as Nota: Em vez do símbolo , também poderemos usar o símbolo ,
premissas verdadeiras que se designa por «martelo semântico». Ambos se leem «Logo»,
e a conclusão falsa. um indicador de conclusão.

Premissa 1 Premissa 2 Conclusão

P Q P → Q, P Q A primeira linha exprime a única

circunstância em que ambas as
V V V V V premissas são verdadeiras. Ora,
dado que tal circunstância
V F F V F também torna a conclusão
F V V F V verdadeira, o argumento é
F F V F F considerado válido.
 Argumento Interpretação Formalização

Se corro, então sinto-

P→Q
me bem. P: Corro.
Q
Sinto-me bem. Q: Sinto-me bem.
P
Logo, corro.

Premissa 1 Premissa 2 Conclusão

A primeira e a terceira linhas
P Q P → Q, Q P exprimem as únicas
circunstâncias em que ambas
as premissas são verdadeiras.
V V V V V Contudo, se na primeira linha a
V F F F V circunstância torna a conclusão
F V V V F verdadeira, já na terceira linha a
circunstância em causa torna a
F F V F F conclusão falsa. O argumento é,
por isso, inválido.
 Argumento Interpretação Formalização
Se leio, aumento a minha
P: Leio.
inteligência.
Q: Aumento a minha P→Q
Se aumento a minha inteligência,
inteligência. Q→R
aumento a minha autoestima.
R: Aumento a minha P→R
Logo, se leio, aumento
autoestima.
a minha autoestima.

Premissa 1 Premissa 2 Conclusão

P Q R P → Q, Q→R P→R

V V V V V V
Estamos perante um argumento
V V F V F F
válido, pois nas circunstâncias
V F V F V V em que ambas as premissas
V F F F V F são verdadeiras, a conclusão
F V V V V V também o é.
F V F V F V
F F V V V V
F F F V V V
 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.
 Variáveis de fórmula
Representam qualquer tipo de proposição (simples ou complexas). Usam-se
as letras iniciais do alfabeto: A, B, C, etc.

P: Tenho livros. Exemplo 1 Formalização

Q: Estudo.
Se tenho livros, então estudo. P→Q
R: Sou feliz.
Não estudo. Q
Logo, não tenho livros.  P

Exemplo 2 Formalização

Se tenho livros, então estudo e sou feliz. P → (Q  R)

Não é verdade que estudo e que sou feliz.  (Q  R)
Logo, não tenho livros.  P

Exemplo 2 Formalização

Se tenho livros, então estudo e sou feliz. A→B

Não é verdade que estudo e que sou feliz. B
Logo, não tenho livros.  A
 Modus ponens Modus tollens
A→B A→B
A B
B  A
Silogismo disjuntivo Silogismo hipotético
AB AB A→B
A B B→C
B A A → C
FORMAS DE
INFERÊNCIA
Contraposição Leis de De Morgan
VÁLIDA
A→B B→A  (A  B) AB
 B →  A A→B
  A   B   (A  B))

OU A→BB→A OU  (A  B)   A   B

Nota: o símbolo  significa, no presente  (A  B) AB

  A   B   (A  B)
contexto, que tanto se pode inferir validamente
num como noutro sentido.
OU  (A  B)   A   B
Afirmação do consequente Negação do antecedente
FORMAS A→B A→B
FALACIOSAS B A
A B