A lógica proposicional

Avaliação das proposições pelo

método das tabelas de verdade.

O método das tabelas de verdade permite

verificar se é possível determinar o valor de
verdade das proposições, tendo em conta
unicamente a sua forma lógica.
A lógica proposicional
A tabela de verdade indicará se a proposição é:

--uma tautologia: proposição em que é possível

determinar o valor lógico unicamente pela sua
forma.

-- uma contradição: proposição em que é

possível determinar o valor lógico unicamente
pela sua forma.

--uma contingência: proposição em que não é

possível determinar o seu valor lógico,
unicamente pela sua forma lógica.
A lógica proposicional

A) Se Deus existe e a vida faz sentido então

Deus existe.

P: Deus existe.

Q: A vida faz sentido.

(P˄Q)P P Q P˄Q (P ˄ Q) P

V V V V
V F F V
F V F V
F F F V
A lógica proposicional

Conclusão: a forma lógica da proposição

complexa é tautológica. Isso significa que,
qualquer que seja a combinação de valores de
verdade de P e Q, a fórmula é sempre
verdadeira. Assim sendo, a verdade da
proposição pode ser determinada tendo em
conta unicamente a sua forma lógica.
A lógica proposicional
B) Não é verdade que, se há ideias inatas e a
vida faz sentido, então há ideias inatas.
P: Há ideias inatas.

Q: A vida faz sentido.

~[(P˄Q)P]

P Q P˄Q (P ˄ Q) P ~[(P ˄ Q) P]

V V V V F
V F F V F
F V F V F
F F F V F
A lógica proposicional

Conclusão: a forma lógica da proposição

complexa é contraditória. Isso significa que,
qualquer que seja a combinação de valores de
verdade de P e Q, a fórmula é sempre falsa. A
falsidade da proposição é determinada tendo
en conta unicamente a sua forma lógica.
A lógica proposicional
Exercícios de aplicação:

Recorrendo a tabelas de verdade, determine se

as proposições são tautologias, contradições ou
contingências lógicas.

A) Se não há determinismo, o livre arbítrio

existe e as ações não são causadas.

B) É falso que Platão é grego e não é grego.

A lógica proposicional

A) Se não há determinismo, o livre arbítrio

existe e as ações não são causadas.

Dicionário:

P: Há determinismo.

Q: O livre arbítrio existe.

R: As ações são causadas.

A lógica proposicional

~P(Q˄~R)

P Q R ~P ~R Q˄~R ~P(Q˄~R)
V V V F F F V
V V F F V V V
V F V F F F V
V F F F V F V
F V V V F F F
F V F V V V V
F F V V F F F
F F F V V F F
A lógica proposicional

Interpretação da tabela:

Trata-se de uma proposição contingente, pois a

coluna sob o operador principal tem pelo
menos um valor verdadeiro e um valor falso.
A lógica proposicional
B) É falso que Platão é grego e não é grego.

P: Platão é grego

~(P˄~P)

P ~P P˄~P ~ (P˄~P)
V F F V
F V F V

Proposição tautológica ou uma verdade lógica.

A lógica proposicional
Avaliação de argumentos pelo
Inspetor de circunstância
A formalização de argumentos pretende
evidenciar a forma lógica do argumento.

1. Identificar a(s) premissa(s) e a conclusão.

2. Formalizar cada uma das premissas e a

conclusão.

« Se treinar com disciplina diariamente, vou melhorar o

meu desempenho no torneio. Treino com disciplina
diariamente. Logo, vou melhorar o meu desempenho no
torneio»
A lógica proposicional
1. Forma canónica

Premissa: Se treinar com disciplina diariamente,

vou melhorar o meu desempenho no torneio.

Premissa: Treino com disciplina diariamente.

Conclusão: Vou melhorar o meu desempenho

no treino.
A lógica proposicional

2. Formalização

Dicionário:

P: Treino com disciplina diariamente.

Q: Melhoro o meu desempenho no treino.

PQ
P
⸫Q
A lógica proposicional

Um argumento é válido quando

é impossível que as premissas
sejam verdadeiras e a conclusão
falsa.
O inspetor de circunstâncias permite evidenciar
a validade e a invalidade do argumento
A lógica proposicional

P  Q, P ⸫ Q

P Q P Q P ⸫Q
V V V V V
V F F V F
F V V F V
F F V F F

O argumento é válido dado que, na única

circunstância em que as premissas são
verdadeiras, a conclusão também é verdadeira.
A lógica proposicional
« Se o governo não alterar as medidas de
austeridade, o povo irá revoltar-se. O governo
alterou as medidas de austeridade. Logo, o
povo não se revoltou.

Premissa: Se o governo não alterar as medidas

de austeridade, o povo irá revoltar-se.

Premissa: O governo alterou as medidas de

austeridade.

Conclusão: O povo não se revoltou.

A lógica proposicional
Formalização:

Dicionário

P: O governo altera as medidas de austeridade.

Q: O povo revolta-se.

~PQ
P
⸫ ~Q
A lógica proposicional
Avaliação de argumentos pelo inspetor de
circunstâncias.

~P  Q, P ⸫ ~Q

P Q ~P ~PQ P ⸫ ~Q
V V F V V F
V F F V V V
F V V V F F
F F V F F V
A lógica proposicional

O argumento é inválido porque há uma

circunstância (a primeira circunstância) em que
é possível todas as premissas serem verdadeiras
e a conclusão falsa.
A lógica proposicional
Formas de Inferência Válida
Modus ponens ou afirmação da antecedente

PQ P~ Q P˄QQ PQ˅R

P P P˄Q P
⸫Q ⸫~Q ⸫Q ⸫Q˅R

A  B, A ⸫ B Variáveis de fórmula
A regra do modus ponens - «o modo de pôr» -
permite inferir a consequente de uma
condicional, da afirmação conjunta dessa
condicional e da sua antecedente.
A lógica proposicional
Modus tollens ou negação da consequente

PQ P~ Q PQ˅R ~PQ

~Q Q ~ (Q ˅ R) ~Q
⸫~P ⸫~P ⸫~P ⸫ P

A  B, ~ B ⸫ ~ A Variáveis de fórmula

A regra do modus tollens - «o modo de tirar» -

permite inferir a negação da antecedente de
uma condicional, da afirmação conjunta dessa
condicional e da negação da sua consequente.
A lógica proposicional
Silogismo Disjuntivo

A regra do silogismo disjuntivo é uma forma

argumentativa válida em que a primeira
premissa é uma disjunção, a segunda premissa
a negação de um dos disjuntos e a conclusão, a
afirmação do outro.

P˅Q P˅Q
~P ~Q
⸫Q ⸫P
A lógica proposicional
Silogismo Hipotético
O silogismo hipotético é uma forma
argumentativa válida formada por três
proposições condicionais construidas a partir de
três variáveis, dispostas da seguinte forma:
PQ
QR
⸫PR
Se a justiça é respeitada então os cidadãos
cumprem a lei.
Se os cidadãos cumprem a lei então haverá paz
social.
Logo, se a justiça é respeitada então haverá paz
social.
A lógica proposicional
Contraposição
A contraposição é uma forma argumentativa
válida em que a premissa é uma condicional e a
conclusão a mesma condicional com as posições
da antecedente e da consequente trocadas e
negadas.
Se compro ouro, então o ouro está barato.
Logo, se não está barato então não compro
ouro.

PQ
⸫~Q~P
A lógica proposicional

Se não está barato então não compro ouro.

Logo, se compro ouro então o ouro está barato.

~Q~P

⸫PQ

A contraposição é uma forma de equivalência

entre a premissa e a conclusão.
A lógica proposicional
As leis de De Morgan
São equivalências lógicas

1. A lei da «negação da conjunção»

É falso que Descartes é empirista e Hume é

racionalista.
Logo, Descartes não é empirista ou Hume não é
racionalista.

~(P˄Q)
⸫~P˅~Q
A lógica proposicional
Descartes não é empirista ou Hume não é
racionalista.

Logo, é falso que Descartes é empirista e Hume

é racionalista.

~P˅~Q

⸫~(P˄Q)

A negação de uma conjunção equivale a uma

disjunção com as disjuntas negadas.
A lógica proposicional

As leis de De Morgan

São equivalências lógicas: qualquer destas

formas permite a substituição da premissa pela
conclusão e vice-versa.

~(P˄Q) ~P˅~Q

⸫~P˅~Q ⸫~(P˄Q)
A lógica proposicional
a) Modus Ponens
Se eu mantiver a cabeça fria, não falharei este
conjunto de exercícios.
É certo que mantenho a cabeça fria

Logo, não falharei este conjunto de exercícios.

b) Modus Tollens
Se ouço música sinto emoção.
Neste momento, a verdade é que não sinto
qualquer emoção.
Logo, não ouço música.
A lógica proposicional
c) Modus tollens
Basta defender as ideias inatas para ser
racionalista.
Eu não sou racionalista.
Logo, não defendo as ideias inatas.

d) Contraposição

Se é açoriano, não é natural do Porto Santo.

Logo, se é natural do Porto Santo não é
açoriano.
A lógica proposicional

e) Silogismo disjuntivo

Ou falho este exercício ou é verdade que a

lógica é uma disciplina fácil.

Não falho de forma alguma este exercício.

Logo, a lógica é uma disciplina fácil.

f) Contraposição
Se Popper não é empirista, então não defende a
indução.
Logo, se Popper defende a indução, é empirista.
A lógica proposicional

g) Silogismo hipotético

Se o preço da gasolina subir, as pessoas

tenderão a usar menos o automóvel.

Se as pessoas usarem menos o automóvel, os

níveis de dióxido de carbono na atmosfera
diminuem.

Logo, Se o preço da gasolina subir, os níveis de

dióxido de carbono na atmosfera diminuem.
A lógica proposicional
h) Lei de De Morgan

A negação da disjunção
Descartes não é empirista nem é alemão.
Logo, é falso que Descartes é empirista ou que
Descartes é alemão.