30.09.2013 Views

Aula 1

Aula 1

Aula 1

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

RACIOCÍNIO LÓGICO<br />

PROFESSOR: GUILHERME NEVES<br />

O antecedente é a proposição (1ª coluna) e o consequente é a proposição (4ª coluna).<br />

V V V V V<br />

V V F F F<br />

V F V F F<br />

V F F F F<br />

F V V V V<br />

F V F F V<br />

F F V F V<br />

F F F F V<br />

Observe que a proposição pode ser verdadeira e pode ser falsa, dependendo dos valores<br />

atribuídos às proposições p,q e r.<br />

Vamos treinar um pouco mais os conceitos abordados.<br />

Exemplo: Verifique se a proposição composta ( p q) ~ q é uma contradição.<br />

Resolução<br />

Basta construir a tabela-verdade que possui 2 2 = 4 linhas. Para determinar o valor lógico de<br />

( p q) ~ q devemos antes determinar os valores de p q e de ~ q .<br />

Lembre-se que a proposição é verdadeira quando pelo menos um dos dois componentes for<br />

verdadeiro.<br />

p q p q<br />

V V V<br />

V F V<br />

F V V<br />

F F F<br />

Vamos agora construir a negação de q. Seus valores devem ser contrários aos valores de q.<br />

p q p q ~ q<br />

V V V F<br />

V F V V<br />

F V V F<br />

F F F V<br />

Prof. Guilherme Neves www.espacojuridico.com 36

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

Saved successfully!

Ooh no, something went wrong!