LOGICA APLICADA

1 - Determine quais das seguintes proposições abaixo são uma tautologia, contradição ou contingentes, por meio da construção de suas tabelas-verdade.
a) (~p q) ~p

P
Q
~P
(~P→Q)
(~P→Q)→~P
V
V
F
V
F
V
F
F
V
F
F
V
V
V
V
F
F
V
F
V
CONTIGÊNCIA

b) (p v ~q) (p ~q)

P
Q
(Pv
~Q)
→
(P→
~Q)
V
V
V
F
F
F
F
V
F
V
V
V
V
V
F
V
F
F
V
V
F
F
F
V
V
V
V
V CONTIGÊNCIA

c) ~p v (~q p) q
P
Q
~Pv
(~Q
(~Q→P)
~P(~Q→P)
~Pv(~Q→P)→Q
V
V
F
F
F
F
V
V
F
F
V
V
V
F
F
V
V
F
V
V
V
F
F
V
V
F
V
F
CONTIGÊNCIA

2 - Ana, após visitar sua avó distante, afirmou: “Não é verdade que todos os vizinhos da vovó fazem a sesta”. Se a afirmação de Ana é verdadeira quais das proposições abaixo também são verdadeiras:
a) No máximo um vizinho da avó de Ana não faz a sesta.
b) Todos os vizinhos da avó de Ana fazem a sesta.
c) Pelo menos um vizinho da avó de Ana não faz a sesta.
d) Nenhum vizinho da avó de Ana não faz a sesta.
e) Nenhum vizinho da avó de Ana faz a sesta.

3 – Dizer que não é verdade que Pablo é pobre e Antônio é alto, é logicamente equivalente a dizer que é verdade que:
a) Pablo não é pobre ou Antônio não é alto.
b) Pablo não é pobre e Antônio não é alto.
c) Pablo é pobre ou Antônio não é alto.
d) Se Pablo não é pobre, então Antônio é alto.
e) Se Pablo não é pobre, então Antônio não é alto.

4 - Dizer que “André é pintor ou Bernardo não é matemático” é //logicamente equivalente a dizer que:
a) André é pintor se e somente se Bernardo não é matemático.
b) Se André é pintor, então Bernardo não é matemático.
c) Se André não é pintor, então Bernardo é matemático.
d) Se Bernardo é matemático, então André é pintor.
e) André não é pintor e Bernardo é matemático.

5 - Dizer que a afirmação “todos os físicos são matemáticos” é falsa, do ponto de vista lógico, equivale a dizer que a seguinte afirmação é verdadeira:
a) pelo menos um físico não é médico.
b) nenhum físico é matemático.
c) nenhum matemático é físico.
d) pelo menos um matemático não é físico.
e) todos os não matemático são não físico.