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 />

Finalmente vamos construir a composta ( p q) ~ q . Para isto, vamos conectar a terceira coluna<br />

com a quarta coluna através do conectivo ―e‖. Lembre-se que a composta pelo ―e‖ só é verdadeira<br />

quando os dois componentes são verdadeiros.<br />

p q p q ~ q ( p q) ~ q<br />

V V V F F<br />

V F V V V<br />

F V V F F<br />

F F F V F<br />

Resposta: A proposição ( p q) ~ q admite valores V e F e, portanto, não se trata de uma<br />

contradição. Trata-se de uma contingência.<br />

Exemplo: Determine se a proposição ( p q) ( p q)<br />

é uma tautologia, contradição ou uma<br />

contingência.<br />

Resolução<br />

A tabela-verdade possui 2² = 4 linhas. Vamos começar construindo a proposição composta que<br />

está no primeiro par de parênteses: .<br />

Devemos conectar a proposição com a proposição através do conectivo ―e‖. Lembre-se que<br />

uma proposição composta pelo conectivo ―e‖ só será verdadeira quando os dois componentes<br />

forem verdadeiros.<br />

p q p q<br />

V V V<br />

V F F<br />

F V F<br />

F F F<br />

Vamos agora construir a proposição composta que está no segundo par de parênteses: .<br />

Lembre-se que a composta só é verdadeira quando pelo menos um dos dois componentes<br />

for verdadeiro. Isto acontece nas três primeiras linhas.<br />

p q p q p q<br />

V V V V<br />

V F F V<br />

F V F V<br />

F F F F<br />

Finalmente vamos construir a composta ( p q) ( p q)<br />

. Devemos conectar a terceira coluna<br />

com a quarta coluna através do conectivo ―se...,então...‖. Lembre-se que uma proposição do tipo<br />

Prof. Guilherme Neves www.espacojuridico.com 37

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

Saved successfully!

Ooh no, something went wrong!