Pontifícia Universidade Católica de Goiás
Departamento de Ciência da Computação
CMP 1045 – Fundamentos da Computação I
Lista de Exercícios de Argumentos
1) Verificar se os argumentos são válidos usando tabela verdade.
1)
2)
3)
4)
5)
p  q, ~p |— ~q
p ↔ q , q |— p
p v q, ~q, p  r |— r
~p  q, p |— ~q
p  q |— p  q v r
2) Verificar a validade dos argumentos usando as regras de inferência
1)
2)
3)
4)
5)
6)
7)
p  (q  r), pq, p |— r
pq, p ^ q  r, ~(p ^ r) |— ~p
p v q  r, r v q  (p (s↔ t), p ^ s |— s↔ t
p  ~q, ~p  (r  ~q), (~s v ~r)  ~~q, ~s |— ~r
p ^q  r, r  s, t  ~u, t, ~s v u |— ~(p ^ q)
p  q, q  r, s  t, p v s |— r v t
p  q, ~r  (s  t), r v (p v s), ~r |— q v t
3) Demonstrar a validade do argumento: “Se Londres não fica na Bélgica, então
Paris não fica na França. Mas Paris fica na França. Logo, Londres fica na
Bélgica”.
4) Demonstrar a validade do argumento: “Se estudo, então não sou reprovado
em Fundamentos. Se não jogo futebol, então estudo. Mas fui reprovado em
Fundamentos. Portanto, joguei futebol.”.