Apostila de Lógica
Apostila de Lógica
Apostila de Lógica
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Unida<strong>de</strong> 2 – Lógica Proposicional (Álgebra das Proposições)<br />
A valida<strong>de</strong> dos 10 argumentos po<strong>de</strong> ser facilmente verifica mediante o teorema anterior, por<br />
exemplo, a seguir é verificada a valida<strong>de</strong> do argumento Silogismo Hipotético<br />
p q r p q q r p r p q q r<br />
p q q r p r <br />
V V V V V V V V<br />
V V F V F F F V<br />
V F V F V V F V<br />
V F F F V F F V<br />
F V V V V V V V<br />
F V F V F V F V<br />
F F V V V V V V<br />
F F F V V V V V<br />
Com o auxílio das regras <strong>de</strong> inferência po<strong>de</strong>-se <strong>de</strong>duzir outras regras, ou <strong>de</strong>monstrar a<br />
valida<strong>de</strong> <strong>de</strong> outras regras, por exemplo; o que se po<strong>de</strong> concluir, abaixo, a partir das premissas<br />
dadas ?<br />
P : p q r<br />
P<br />
1<br />
2<br />
:<br />
P3<br />
:<br />
Q :<br />
q r s<br />
~ r<br />
~<br />
~ r<br />
s<br />
p<br />
q<br />
~ q<br />
DD<br />
Exemplo: Verifique a valida<strong>de</strong> do argumento:<br />
1 p q<br />
2 p r<br />
3 p<br />
4 q<br />
p q, p r q .<br />
2, SIM<br />
1,2, MP<br />
9 – Exercícios <strong>de</strong> Aprendizagem:<br />
1. Demonstre a valida<strong>de</strong> dos seguintes argumentos:<br />
a) p q, p r s s<br />
p b) p q<br />
r ,<br />
p q, p<br />
r<br />
c) e s, ~ t ~<br />
j, e j t s<br />
d) p q.r , p, t q ,<br />
t s s<br />
2. O argumento abaixo é válido ?<br />
x y x z, x y x z, x z y z, y z x z y z
Change language