Aula 1
Aula 1
Aula 1
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
RACIOCÍNIO LÓGICO<br />
PROFESSOR: GUILHERME NEVES<br />
F F V V F V<br />
F F F V F V<br />
Observe que tanto na linha 2 quanto na linha 6 as duas proposições são falsas, e portanto, a<br />
composta construída é falsa nestes casos.<br />
Podemos agora, finalmente construir a composta ( p r) (~ q r)<br />
. Lembre-se que há apenas<br />
um caso em que a composta pelo ―se..., então‖ é falsa: quando o primeiro componente for<br />
verdadeiro e o segundo componente falso. Vamos olhar apenas as duas últimas colunas.<br />
Vejamos cada linha de per si:<br />
1ª linha: V V (o condicional é verdadeiro).<br />
2ª linha: F F (o condicional é verdadeiro).<br />
3ª linha: V V (o condicional é verdadeiro).<br />
4ª linha: F V (o condicional é verdadeiro).<br />
5ª linha: F V (o condicional é verdadeiro).<br />
6ª linha: F F (o condicional é verdadeiro).<br />
7ª linha: F V (o condicional é verdadeiro).<br />
8ª linha: F V (o condicional é verdadeiro).<br />
Desta forma:<br />
p q r<br />
~ q p r ~ q r ( p r) (~ q r)<br />
V V V F V V V<br />
V V F F F F V<br />
V F V V V V V<br />
V F F V F V V<br />
F V V F F V V<br />
F V F F F F V<br />
F F V V F V V<br />
F F F V F V V<br />
Concluímos que a proposição composta ( p r) (~ q r)<br />
é sempre verdadeira,<br />
independentemente dos valores atribuídos às proposições .<br />
Dizemos então que a proposição ( p r) (~ q r)<br />
é uma tautologia (ou proposição<br />
logicamente verdadeira). Como diz L. Hegenberg em seu Dicionário de Lógica: Tautologia, no<br />
cálculo proposicional, é uma proposição invariavelmente verdadeira — sejam quais forem os<br />
valores-verdade de suas proposições constituintes.<br />
Então é isso: se alguma questão perguntar se determinada proposição é uma tautologia, devemos<br />
construir a sua tabela-verdade e verificar se ela é sempre verdadeira.<br />
Prof. Guilherme Neves www.espacojuridico.com 32