logica
1. Considerando as proposições abaixo, escreva cada uma das seguintes afirmações, conforme cada simbologia. a: Está quente. b: O sol está radiante.
~a b = Se não está quente somente se o sol está radiante.
2. b ~a = Se o sol está radiante somente se está quente.
~a b = Se não está quente somente se o sol está radiante. 2. Construa a tabela-verdade das expressões abaixo:
a) ~ (~p q) ~ (p ^ q) p q ~p ~p q
͘~ (~p q) p ^ q ~ (p ^ q) ~ (~p q) ~ (p ^ q)
V V F V F V F V
V F F V F F V F
F V V V F F V F
F F V F V F V V
b) ~p ~ (~q ~p) p q ~p ~q ~q ~p
~(~q ~p)
~p ~ (~q ~p)
V V F F V F V
V F F V F V F
F V V F V F F
F F V V V F F
c) ~ (p ~q) v (p ~q) p q ~q p ~q
~ (p ~q)
(p ~q)
~ (p ~q) v (p ~q)
V V F F V F V
V F V V F V V
F V F V F V V
F F V V F F F
AULA 05 –
1. Considerando as proposições abaixo, escreva cada uma das seguintes afirmações, conforme cada simbologia. a: Está quente. b: O sol está radiante.
~a b = Se não está quente somente se o sol está radiante.
2. b ~a = Se o sol está radiante somente se está quente.
~a b = Se não está quente somente se o sol está radiante. 2. Construa a tabela-verdade das expressões abaixo:
a) ~ (~p q) ~ (p ^ q) p q ~p ~p q
͘~ (~p q) p ^ q ~ (p ^ q) ~ (~p q) ~ (p ^ q)
V V F V F V F V
V F F V F F V F
F V V V F F V F
F F V F V F V V
b) ~p ~ (~q ~p) p q ~p ~q ~q ~p
~(~q ~p)
~p ~ (~q ~p)
V V F F V F V
V F F V F V F
F V V F V F F
F F V V V F F
c) ~ (p ~q) v (p ~q) p q ~q p ~q
~ (p ~q)
(p ~q)
~ (p ~q) v (p ~q)
V V F F V F V
V F V V F V V
F V F V F V V
F F V V F F F