Lógica e Matemática Computacional - Exercícios 03
-
Upload
thomas-da-costa -
Category
Technology
-
view
654 -
download
2
Transcript of Lógica e Matemática Computacional - Exercícios 03
![Page 1: Lógica e Matemática Computacional - Exercícios 03](https://reader035.fdocuments.net/reader035/viewer/2022081722/5870fe691a28ab5f528b63ef/html5/thumbnails/1.jpg)
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 03 – TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIASProf. Thomás da Costa
![Page 2: Lógica e Matemática Computacional - Exercícios 03](https://reader035.fdocuments.net/reader035/viewer/2022081722/5870fe691a28ab5f528b63ef/html5/thumbnails/2.jpg)
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) → pe) p ˅ ¬ q → (p → ¬ q)f) p → ((p ˄ q) ↔ (p ˅ q))g) p → (p ˅ q) ˅ r
ExercíciosDeterminar quais das seguintes proposições são tautológicas, contraválidas, ou contingentes:
TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
![Page 3: Lógica e Matemática Computacional - Exercícios 03](https://reader035.fdocuments.net/reader035/viewer/2022081722/5870fe691a28ab5f528b63ef/html5/thumbnails/3.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) ¬p ˄ (p ˄ q)b) ¬p → qc) p ˄ (p ˅ q)d) (p ˄ q) ˅ pe) p → (p ˅ q)f) (q → p) ˅ pg) (p ↔ q) ˄ (¬p ˄ q)h) p ↔ ((p ˄ q) ˅ q )i) p → ((p ˄ q) ↔ (p ˅ q))j) p ˄ q → rk) 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 !!!
![Page 4: Lógica e Matemática Computacional - Exercícios 03](https://reader035.fdocuments.net/reader035/viewer/2022081722/5870fe691a28ab5f528b63ef/html5/thumbnails/4.jpg)
Obrigado !!!
ANHANGUERA – 2016.2