Nome: Lista de exerccios para a segunda avaliao Entregar 1 semana antes da P2, feita a mo Listas atrasadas no sero aceitas!

1. Construir a condicional associada de cada um dos argumentos a. ~p, ~qp q b. p ^ ~q, p ~r, q v ~s r v s c. O criminoso primrio, ou cometeu um descuido. Se o criminoso for primrio, ento ter sua pena diminuda. O criminoso no primrio. Logo, sua pena no ser diminuda. 2. Usar o mtodo das tabelas-verdade para avaliar a validade dos argumentos: a. p q, r v ~q, ~r ~p b. p ~q, p, ~qr ~r c. pq, r s, p v s q v r

3. Usar o mtodo do contraexemplo para avaliar a validade dos argumentos: a. p q v r, ~q pr b. ~(p ^ q), ~p ^~q r ^ s, sr r c. P q v r, s r, ~p v q ~p ^ q

4. Indicar a regra de inferncia que justifica a validade dos seguintes argumentos: a. p (q r), p qr b. p q, r ~s (pq) ^ (r ~s) c. ~p ^ (q r) ~p

5. Usando regras de inferncia verificar que so vlidos os seguintes argumentos: a. r p v q, r, ~p q b. p q, q ~r, p ~r c. p v q, p r, ~r q v s d. r p v q, ~~r, ~q p e. p, ~q ~p q v s

6. Usar a regra modus ponens para deduzir de cada um dos argumentos a seguir a concluso indicada a.
(1) p ~q (2) p (3) ~qr

r b.
(1) ~p q v r (2) s v t ~p (3) s v t

qvr