Ago10 PPT 3
Ago10 PPT 3
Ago10 PPT 3
argumentos?
– Lógica proposicional
Como avaliar argumentos?
1. VALIDADE E FORÇA
Premissa
Válido?
Forte?
Conclusão A validade ou a força de um argumento reside
na relação de justificação entre a(s) premissa(s)
e a conclusão.
Como avaliar argumentos?
Argumentos
Os argumentos fortes são
aqueles em que é improvável, São argumentos não dedutivos.
mas não impossível, as
premissas serem verdadeiras e
a conclusão falsa.
Os coelhos são mamíferos.
VALIDADE O animal de estimação da Beatriz é um coelho.
Logo, o animal de estimação da Beatriz é um mamífero.
Sim Não
Sim Não
Premissas Argumento
Validade
verdadeiras sólido
A força não é suficiente para constituir um BOM As premissas têm de ser
COGÊNCIA
argumento. realmente verdadeiras.
Premissas Argumento
Força
verdadeiras cogente
Como avaliar argumentos?
2. LÓGICA PROPOSICIONAL – AVALIAR ARGUMENTOS DEDUTIVOS
Argumento
Se clicares nesse botão, então o
computador desliga-se. Como o
computador não se desligou, não
clicaste nesse botão.
Avaliar argumentos dedutivos
Elaborar um dicionário
P – Clicar no botão.
Q – O computador desliga-se.
Avaliar argumentos dedutivos
P Q
(P Q)
Avaliar argumentos dedutivos
P Q (P Q)
V V V
Neste caso, a proposição complexa por disjunção inclusiva é
V F V
verdadeira se, pelo menos, uma das proposições simples F V V
que a compõem for verdadeira. F F F
(P Q) Proposição complexa por disjunção exclusiva
P Q (P Q)
V V F
Neste caso, a proposição complexa por disjunção exclusiva
V F V
é verdadeira se as proposições simples que a compõem F V V
tiverem valores de verdade diferentes. F F F
(P Q) Proposição complexa condicional
P Q (P Q)
V V V
Neste caso, a proposição complexa condicional é sempre
V F F
verdadeira, exceto na circunstância em que a antecedente é F V V
verdadeira e a consequente é falsa. F F V
(P Q) Proposição complexa bicondicional
Tautologia
P Q (P Q) (Q P)
Proposição verdadeira em todas as situações V V V V F V F
possíveis. V F F V V F F
F V V V F V V
Se esta figura é um pentágono, então tem cinco lados, se, e F F V V V V V
somente se, o facto de esta figura não ter cinco lados for
condição suficiente para esta figura não ser um pentágono.
Tautologias, contradições e contingências
Contradição
P Q (P Q) (P Q)
Proposição falsa em todas as situações possíveis. V V V F F V
V F F F V F
F V V F F V
F F V F F V
É verdade que se chover o chão fica molhado, se, e somente
se, for falso que se chover o chão fica molhado.
Tautologias, contradições e contingências
Contingência
P Q (P Q) (Q P)
Proposição que pode ser verdadeira ou falsa V V V V V
consoante as situações. V F F F V
F V V F F
F F V V V
Se cair, então magoo-me, se, e somente se, magoar-me
implicar cair.
Construir inspetores de circunstâncias
Formalização:
P Q (P Q) Q P
V V
V F
F V
F F
P Q (P Q) Q P
V V V
V F F
F V V
F F V
P Q (P Q) Q P
V V V F
V F F V
F V V F
F F V V
P Q (P Q) Q P
V V V F F
V F F V F
F V V F V
F F V V V
P Q (P Q) Q P
V V V F F
V F F V F
F V V F V
F F V V V
P Q (P Q) Q P
V V V F F
V F F V F
F V V F V
F F V V V
P Q (P Q) Q P
V V V F F
V F F V F
F V V F V
F F V V V
P Q (P Q) Q P
V V V F F
V F F V F
F V V F V
F F V V V
Formalização:
Dicionário Forma-padrão Forma lógica
P: Este fio é de cobre. Se este fio é de cobre, então é condutor de eletricidade. (P Q)
Q: Este fio é condutor de eletricidade. Este fio é condutor de eletricidade. Q
Logo, este fio é de cobre. P
Construir inspetores de circunstâncias
P Q (P Q) Q P
V V V V V
V F F F V
F V V V F
F F V F F
Mas não nos apressemos a declarar já o argumento como válido. Ainda temos de
analisar as outras circunstâncias (linhas).
P Q (P Q) Q P
V V V V V
V F F F V
F V V V F
F F V F F
Assim, existe a possibilidade de a conclusão ser falsa, mesmo que as premissas sejam
verdadeiras.
P Q (P Q) Q P
V V V V V
V F F F V
F V V V F
F F V F F
P Q (P Q) P Q
MODUS PONENS Inspetor de circunstâncias V V V V V
V F F V F
F V V F V
F F V F F
P Q (P Q) Q P
MODUS TOLLENS Inspetor de circunstâncias V V V F F
V F F V F
F V V F V
F F V V V
P Q R (P Q) (Q R) (P R)
SILOGISMO
Inspetor de circunstâncias V V V V V V
HIPOTÉTICO
V V F V F F
V F V F V V
V F F F V F
F V V V V V
F V F V F V
F F V V V V
F F F V V V
P Q
SILOGISMO (P Q) P Q
Inspetor de circunstâncias V V V F V
DISJUNTIVO
V F V F F
F V V V V
F F F V F
DUPLA
Inspetor de circunstâncias
NEGAÇÃO
P Q (P Q) (Q P)
CONTRAPOSIÇÃO Inspetor de circunstâncias V V V F V F
V F F V F F
F V V F V V
F F V V V V
F V F V V F F
F F V F V V V
F V V F V V F
F F V F V V V
P Q Q
Falácia da afirmação (P Q) P
Inspetor de circunstâncias V V V V V
da consequente
V F F F V
F V V V F
F F V F F
Falácia da negação Nega na segunda premissa a antecedente da condicional que está na primeira
da antecedente premissa; a sua conclusão é a negação da consequente dessa condicional.
P Q
Falácia da negação da (P Q) P Q
Inspetor de circunstâncias V V V F F
antecedente
V F F F V
F V V V F
F F V V V