30.09.2013 Views

Aula 1

Aula 1

Aula 1

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!