3
ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL EXERCÍCIOS 01 – LÓGICA PROPOSICIONAL Prof. Thomás da Costa [email protected]

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

Embed Size (px)

Citation preview

Page 1: Lógica e Matemática Computacional - Exercícios 01

ANHANGUERA – 2016.2

LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 01 – LÓGICA PROPOSICIONAL

Prof. Thomás da [email protected]

Page 2: Lógica e Matemática Computacional - Exercícios 01

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

a) p ˄ qb) p → qc) p → ¬qd) ¬p ˄ (p ˄ q)e) ¬p → qf) p ˄ (p ˅ q)g) (p ˄ q) ˅ ph) p → (p ˅ q)i) (q → p) ˅ pj) (p ↔ q) ˄ (¬p ˄ q)k) p ↔ ((p ˄ q) ˅ q )l) p → ((p ˄ q) ↔ (p ˅ q))m) p ˄ q → rn) p ˄ q ↔ ¬r

ExercíciosResolva as tabelas verdades de acordo com o tipo de conectivo:

LÓGICA PROPOSICIONAL

Page 3: Lógica e Matemática Computacional - Exercícios 01

Obrigado !!!

ANHANGUERA – 2016.2