Apostila de Lógica
Apostila de Lógica
Apostila de Lógica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Unida<strong>de</strong> 1 – Sentenças e Representação simbólica<br />
2 – Conectivos Lógicos:<br />
Os conectivos são expressões utilizadas para compor novas proposições. Exemplos:<br />
<br />
<br />
<br />
<br />
<br />
P: O número 6 é par e o número 8 é cubo perfeito.<br />
Q: Não está chovendo.<br />
R: O triângulo é retângulo ou isósceles.<br />
S: O triângulo é equilátero se e somente se é equiângulo.<br />
T: Se Jorge é engenheiro, então sabe cálculo.<br />
Assim, na lógica, <strong>de</strong>staca-se os conectivos usuais<br />
e não ou se e somente se se ... então<br />
3 – Tabela Verda<strong>de</strong>:<br />
No caso <strong>de</strong> proposições compostas recorre-se ao uso da tabela verda<strong>de</strong> para verificar o valor<br />
lógico da proposição, ou seja, a tabela retrata todos os possíveis valores lógicos.<br />
Exemplos:<br />
1. Consi<strong>de</strong>rando a proposição q,<br />
r <br />
p têm-se:<br />
q<br />
V<br />
V<br />
F<br />
F<br />
r<br />
V<br />
F<br />
V<br />
F<br />
Temos 2 2 4 combinações<br />
2. Consi<strong>de</strong>rando agora a proposição q,<br />
r , s<br />
p têm-se:<br />
q r s<br />
V V V<br />
V V F<br />
V F V<br />
V F F<br />
F V V<br />
F V F<br />
F F V<br />
F F F<br />
Temos 2 3 8 combinações