13.04.2013 Views

Leia o Edital - Olimpíada Pernambucana de Raciocínio Lógico

Leia o Edital - Olimpíada Pernambucana de Raciocínio Lógico

Leia o Edital - Olimpíada Pernambucana de Raciocínio Lógico

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.

Chama-se tautologia toda proposição que é sempre verda<strong>de</strong>ira, in<strong>de</strong>pen<strong>de</strong>nte da verda<strong>de</strong> dos termos que a compõem. Verifique se a<br />

proposição composta t: {(R ∧ ~R) → (R ∨ S)} abaixo é uma tautologia preenchendo sua tabela verda<strong>de</strong>.<br />

SOLUÇÃO:<br />

R S ~R (R<br />

∧ ~R)<br />

(R<br />

∨ S)<br />

{(R ∧ ~R) → (R<br />

∨ S)}<br />

Para as duas proposições simples “R” e “S” existem 4 possibilida<strong>de</strong>s <strong>de</strong> valores lógicos para qualquer proposição composta <strong>de</strong>rivada<br />

<strong>de</strong>las. As 4 possibilida<strong>de</strong>s são: VV, VF, FV e FF. Nosso quadro <strong>de</strong>verá, então, ser marcado da seguinte maneira:<br />

R S ~R (R<br />

∧ ~R)<br />

V V<br />

V F<br />

F V<br />

F F<br />

(R<br />

∨ S)<br />

{(R ∧ ~R) → (R<br />

∨ S)}<br />

• No preenchimento da terceira coluna “~R”, basta negarmos todos os valores lógicos <strong>de</strong> “R” que está na primeira<br />

coluna.<br />

• Para preenchermos a quarta coluna “(R ∧ ~R)” iremos adotar valor lógico falso (F) quando as duas proposições<br />

simples que compõem a proposição composta não forem verda<strong>de</strong>iros, na presença do conectivo “e”.<br />

• Na quinta coluna (R ∨ S), iremos adotar valor lógico verda<strong>de</strong>iro (V) para a proposição composta quando pelos<br />

menos uma das proposições simples que compõem a proposição composta for verda<strong>de</strong>ira, na presença do conectivo “ou”.<br />

• Para a sexta e ultima coluna {(R ∧ ~R) → (R ∨ S)}, a proposição composta será falsa quando o primeiro termo antes<br />

do conectivo “Se...então” (→) for verda<strong>de</strong>iro (V) e o segundo termo <strong>de</strong>pois do conectivo “Se...então” (→) for falso (F).<br />

Neste ponto, nosso quadro já está completo e nos mostra todas as respostas:<br />

R S ~R (R (R {(R ∧ ~R) → (R<br />

∧ ~R) ∨ S) ∨ S)}<br />

V V F F V V<br />

V F F F V V<br />

F V V F V V<br />

F F V F F V<br />

R = A proposição composta t: {(R ∧ ~R) → (R ∨ S)} é uma tautologia, pois, em sua tabela verda<strong>de</strong> verificamos que sua proposição<br />

composta que está na ultima coluna é sempre verda<strong>de</strong>ira, in<strong>de</strong>pen<strong>de</strong>nte da verda<strong>de</strong> dos termos que a compõem.<br />

8. Problemas com Conectivos<br />

Ex1: Para o Nível 1 teremos como exemplo:<br />

No feriado 1 <strong>de</strong> maio “Santiago viajou para Londres ou trabalhou na empresa”. Ora, Santiago não trabalhou na empresa, logo:<br />

a) Santiago não viajou para Londres<br />

b) Santiago não viajou e não trabalhou na empresa<br />

c) Santiago viajou para Londres e trabalhou na empresa<br />

d) Santiago trabalhou na empresa<br />

e) Santiago viajou para Londres e não trabalhou na empresa<br />

SOLUÇÃO:

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

Saved successfully!

Ooh no, something went wrong!