Lógica e Matemática Computacional - Exercícios 03

627 visualizações

Publicada em

Lógica e Matemática Computacional - Anhanguera
Exercícios de Tautologias, Contradições e Contingências

Publicada em: Tecnologia
0 comentários
1 gostou
Estatísticas
Notas
  • Seja o primeiro a comentar

Sem downloads
Visualizações
Visualizações totais
627
No SlideShare
0
A partir de incorporações
0
Número de incorporações
109
Ações
Compartilhamentos
0
Downloads
53
Comentários
0
Gostaram
1
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Lógica e Matemática Computacional - Exercícios 03

  1. 1. ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL EXERCÍCIOS 03 – TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS Prof. Thomás da Costa thomascosta@aedu.com
  2. 2. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa a) p → (¬ p → q) b) ¬ p ˅ q → (p → q) c) p → (q → (q → p)) d) ((p → q) ↔ q) → p e) p ˅ ¬ q → (p → ¬ q) f) p → ((p ˄ q) ↔ (p ˅ q)) g) p → (p ˅ q) ˅ r Exercícios Determinar quais das seguintes proposições são tautológicas, contraválidas, ou contingentes: TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  3. 3. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa a) ¬p ˄ (p ˄ q) b) ¬p → q c) p ˄ (p ˅ q) d) (p ˄ q) ˅ p e) p → (p ˅ q) f) (q → p) ˅ p g) (p ↔ q) ˄ (¬p ˄ q) h) p ↔ ((p ˄ q) ˅ q ) i) p → ((p ˄ q) ↔ (p ˅ q)) j) p ˄ q → r k) p ˄ q ↔ ¬r Exercícios TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS Determinar quais das seguintes proposições são tautológicas, contraválidas, ou contingentes: Exercícios feitos nas primeiras aulas !!!
  4. 4. Obrigado !!! ANHANGUERA – 2016.2

×