Validade Argumentativa

Para testar a validade de um argumento:

1) Constrói-se a tabela verdade da conjunção e, por comparação das tabelas, verificamos

se há implicação.
2) Se ocorrer alguma linha 1 0, não há implicação e, assim, concluímos que o
argumento é falho.
3) Se não ocorrer 1 0, haverá implicação e o argumento é válido.

Exemplo:

Testar se o argumento p+q, p’, q é válido.

Resolução:

a) Premissas: p+q, p’
b) Conclusão: q,

Logo, avaliar se (p+q).p’  q

(0 = inválido e 1 = válido)

p q p’ p+q (p+q).p’ q (p+q).p’q

0 0 1 0 0 0 1 Válida
0 1 1 1 1 1 1 Válida
1 0 0 1 0 0 1 Válida
1 1 0 1 0 1 1 Válida

Como não ocorre 10, em nenhuma linha da condicional, conclui-se que (p+q).p’  q e,
portanto, o argumento é válido.

Regras de Inferência

As regras de inferência são argumentos válidos notáveis:

1) União (U): p.q  p.q (Lâmpada acesa, interruptor ligado – Lâmpada apagada,
interruptor desligado)
2) Modus Ponendo Ponens (do latim – Maneira que afirma afirmando) ou simplesmente
Modus Ponens (MP): (p  q).p  q (Se alguém desligar este interruptor, a lâmpada se
apaga. Eu desliguei este interruptor. A lâmpada se apagou.).
3) Modus Tollens (do latim – Modo que nega por negação) (MT): (p  q).q’  p’ (Se
alguém desligar este interruptor, a lâmpada se apaga. Logo, se a lâmpada não se
apagou, não se desligou este interruptor.).
4) Adição (A): p  p+q
5) Simplificação (S): p.q  p
6) Silogismo Hipotético (SH): (p  q).(q  r)  q  r
 7) Silogismo Disjuntivo (SD): (p+q).p’  q

8) Regras do Bicondicional (BIC): (p  q).(q  p)  p  q // p  q  (p  q).(q  p)

9) Dilema Construtivo (DC): (p  q).(r  s).(p+r) ) q+s

10) Dilema Destrutivo (DD): (p  q).(r  s).(q´+ s´) p´+r´

11) Dupla Negação (DN): (p´)´ p ou p  (p´)´

12) Regra da Absorção (RA): p  q  p (p.q)

13) Simplificação Disjuntiva (S+): (p+r).(p+r’)  p

Tarefa: Demonstre pela utilização de tabelas verdade a Regra da Absorção 12

p q pq p+q p.q p (p. q) p  q  p (p.q)

0 0 1 0 0 1 1 Válida
0 1 1 1 0 1 1 Válida
1 0 0 1 0 0 1 Válida
1 1 1 1 1 1 1 Válida

Observa-se que resultou numa tautologia(*), logo: p  q  p (p.q) é válido o argumento da

regra 12.

(*) Tautologia: Gramática:

Substantivo feminino Uso de Palavras diferentes para expressar
uma mesma ideia; redundância.
Lógica:
Proposição analítica que permanece
verdadeira, uma vez que o atributo é uma
repetição do sujeito (por exemplo, o sal é
salgado).