ulima69-zz/logica-atividades

Atividades de Lógica

Atividades de Lógica

Universidade de Brasília

Filosofia Noturno - 2017.2

Atividades da disciplina de Lógica ministrada pelo Professor Alexandre Costa-Leite

1. Mostre usando tabela verdade se os argumentos são válidos ou inválidos

   • P → Q , Q ⊨ P

   • P → Q , ⌝ P ⊨ ⌝ Q

2. Apresente contra-exemplos para cada fórmula abaixo

   • P → ( Q → ( R → T ) )

   • P ↔ ( R ∧ ⌝ S )

   • ⌝ ⌝ P ↔ ⌝ ⌝ ⌝ R

   • ( ( P ∧ Q ) ∧ ( R ∧ S ) ) → ( T ∨ U )

   • ( P ∨ Q ) ∨ ( R ∨ S )

3. Mostre que os argumentos são válidos

   • ⌝ P ∧ ⌝ Q ⊨ ⌝ ( P ∧ Q )

   • P , ⌝ P ⊨ Q

   • P ⊨ P

   • P , Q , R , S , T , U , V , X ⊨ ( ( P ∧ Q ) ∧ ( R ∧ S ) ) ∧ ( T ∧ U )

   • P ⊨ ( P ∨ Q )