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 />
Uma outra consi<strong>de</strong>ração a ser comentada é: Consi<strong>de</strong>rando o argumento<br />
P<br />
1<br />
P<br />
2<br />
P<br />
3<br />
Q<br />
p ~ q, p ~ r, q<br />
~ s ~ r<br />
s<br />
chamamos <strong>de</strong> condicional associada a forma p<br />
~ q<br />
p<br />
~ r <br />
q<br />
~ s ~ r<br />
s<br />
Por outro lado, se consi<strong>de</strong>rarmos a condicional associada<br />
p q r ~ s q r s <br />
.<br />
s<br />
p<br />
~ q<br />
o argumento correspon<strong>de</strong>nte a esta condicional será<br />
p q r,~ s,q r s s p<br />
~ q ,<br />
que também po<strong>de</strong> ser expressado sob a forma<br />
p q r<br />
~ s<br />
q r s<br />
.<br />
s p<br />
~ q<br />
8 – Argumentos válidos Fundamentais:<br />
Os argumentos válidos fundamentais são utilizados para executar passo a passo uma<br />
<strong>de</strong>dução ou <strong>de</strong>monstração <strong>de</strong> um outro argumento mais complexo. Os argumentos fundamentais<br />
são:<br />
1) Adição (AD)<br />
i)<br />
p<br />
p q<br />
ii)<br />
q<br />
p<br />
<br />
p<br />
2) Simplificação (SIMP)<br />
p q<br />
i)<br />
p<br />
ii)<br />
p q<br />
q<br />
3) Conjunção (CONJ)<br />
i)<br />
p<br />
q<br />
p q<br />
ii)<br />
p<br />
q<br />
q p