Esf256

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (290 palavras )
  • Download(s) : 0
  • Publicado : 1 de junho de 2012
Ler documento completo
Amostra do texto
Nome: Lista de exercícios para a segunda avaliação Entregar 1 semana antes da P2, feita a mão Listas atrasadas não serão aceitas!1. Construir a condicional associada de cada um dos argumentos a. ~p, ~qp Ⱶ q b. p ^ ~q, p ~r, q v ~s Ⱶ r v s c. O criminoso éprimário, ou cometeu um descuido. Se o criminoso for primário, então terá sua pena diminuída. O criminoso não é primário. Logo, suapena não será diminuída. 2. Usar o método das tabelas-verdade para avaliar a validade dos argumentos: a. p  q, r v ~q, ~r Ⱶ ~p b.p ~q, p, ~qr Ⱶ ~r c. pq, r s, p v s Ⱶ q v r

3. Usar o método do contraexemplo para avaliar a validade dos argumentos: a. p q vr, ~q Ⱶ pr b. ~(p ^ q), ~p ^~q  r ^ s, sr Ⱶ r c. P q v r, s ↔ r, ~p v q Ⱶ ~p ^ q

4. Indicar a regra de inferência quejustifica a validade dos seguintes argumentos: a. p (q  r), p Ⱶ qr b. p  q, r ~s Ⱶ (pq) ^ (r  ~s) c. ~p ^ (q r) Ⱶ ~p

5.Usando regras de inferência verificar que são válidos 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 dosargumentos a seguir a conclusão indicada a.
(1) p ~q (2) p (3) ~qr

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

qvr

tracking img