LgicaI(FIL120)

Tabelasdeverdadeeinspetoresdecircunstncias PorMatheusSilva
Professor Desidrio Murcho Universidade Federal de Ouro Preto, Departamento de Filosofia

No devemos confundir tabelas de verdade com inspetores de circunstncias. Uma tabela de verdade permite determinar se uma forma proposicional logicamente verdadeira (tautologia) ou falsa (inconsistncia) ou contingente. Um inspetor de circunstncias permite determinar a validade de uma forma argumentativa ao verificar se em todas as circunstncias em que as premissas so verdadeiras a concluso verdadeira. Uma forma proposicional suscetvel de ser (derivadamente) verdadeira ou falsa, mas no pode ser (derivadamente) vlida ou invlida; uma forma argumentativa s pode ser (derivadamente) vlida ou invlida no pode ser (derivadamente) verdadeira nem falsa.

Exemplo de tabela de verdade: Ou Pedro foi aula ou est doente Interpretao: P Pedro foi aula. Q Pedro est doente. Formalizao: PvQ Tabela de Verdade:

P Q PvQ
V V F F V F V F V V V F

A forma proposicional P v Q uma contingncia, pois verdadeira em algumas circunstncias possveis e falsa em outras circunstncias possveis.

Exemplo de inspetores de circunstncias: Ou Pedro foi aula ou est doente. Pedro no foi aula. Portanto, Pedro est doente. Interpretao: P - Pedro foi aula Q Pedro est doente Formalizao: P v Q, P Q

Inspetores de Circunstncias:

P Q P v Q P
V V F F V F V F V V V F F F V V

Q
V F V F

A forma argumentativa vlida, pois nas circunstncias em que ambas as premissas so verdadeiras a concluso tambm verdadeira. No livro Lgica: um curso introdutrio, Newton Smith utiliza o termo seqente tautolgico para o que chamamos de forma argumentativa

vlida podemos utilizar na resoluo dos exerccios tanto uma definio (seqente tautolgico) como a outra (forma argumentativa vlida), pois so equivalentes.

Exerccios Examine a validade ou invalidade das formas argumentativas seguintes utilizando os inspetores de circunstncias:
1) A neve branca Logo, a neve branca (P a neve branca) 2) Se a neve branca, ento a lua feita de queijo. A neve branca. Logo a lua feita de queijo. (P a neve branca. Q a lua feita de queijo) 3) Scrates era ateniense e Plato era ateniense. Logo, Scrates era ateniense. (P - Scrates era ateniense. Q - Plato era ateniense) 4) Scrates grego. Logo, Scrates grego ou os livros esto errados. (P Scrates grego. Q os livros esto errados) 5) Se Mayra casar, ento Betty ser dama de honra e Carol ser dama de honra. Se ou Betty for dama de honra ou Carol for dama de honra, ento haver uma briga na cerimnia nupcial. Portanto, se Mayra casar, ento haver uma briga na cerimnia nupcial. (P - Mayra casar. Q Betty ser dama de honra. R Carolina ser dama de honra. S Haver uma briga na cerimnia nupcial) 6) Kant no est no trabalho. Portanto, ou Kant saiu de frias ou Kant no saiu de frias. (P Kant est no trabalho. Q Kant saiu de frias)

7) A vida faz sentido e a vida no faz sentido. Logo, Heidegger um grande filsofo. (P a vida faz sentido. Q Heidegger um grande filsofo) 8) O tapete do Joo quadrado Portanto, o tapete do Joo tem quatro lados. (P o tapete do Joo quadrado. Q o tapete do Joo tem quatro lados)

9) A neve branca Logo, a neve tem cor. (P a neve branca. Q a neve tem cor) 10) A Mayra solteira. Logo, a Mayra no casada. (P a Mayra solteira. Q a Mayra casada) 11) Se Scrates tivesse nascido em Esparta, seria grego. Scrates era grego. Logo, Scrates nasceu em Esparta. (P Scrates tivesse nascido em Esparta. Q - Scrates seria grego) 12) Todos os corvos observados at hoje viveram antes do ano 2100. Logo, todos os corvos vivem antes do ano 2100. (P - todos os corvos observados at hoje viveram antes do ano 2100. Q todos os corvos vivem antes do ano 2100) 13) Ou Kant era grego ou Plato era grego. Portanto, Kant era grego. (P - Kant era grego. Q - Plato era grego)