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

Podemos resumir tudo o que foi dito com a seguinte tabela-verdade.<br />

p q p q p q p q p q<br />

V V V V V V<br />

V F F V F F<br />

F V F V V F<br />

F F F F V V<br />

Ou ainda, para facilitar o processo mnemônico, podemos memorizar as regras que tornam as<br />

compostas verdadeiras.<br />

Conjunção p q<br />

As duas proposições p, q devem ser verdadeiras<br />

Disjunção p q<br />

Ao menos uma das proposições p, q deve ser verdadeira. Não<br />

pode ocorrer o caso de as duas serem falsas.<br />

Condicional p q Não pode acontecer o caso de o antecedente ser verdadeiro e<br />

o consequente ser falso. Ou seja, não pode acontecer V(p)=V e<br />

V(q)=F. Em uma linguagem informal, dizemos que não pode<br />

acontecer VF, nesta ordem.<br />

Bicondicional p q Os valores lógicos das duas proposições devem ser iguais. Ou<br />

as duas são verdadeiras, ou as duas são falsas.<br />

Número de linhas de uma tabela-verdade<br />

O número de linhas da tabela-verdade de uma proposição composta com n proposições simples é<br />

2 n .<br />

Prof. Guilherme Neves www.espacojuridico.com 21

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

Saved successfully!

Ooh no, something went wrong!