lógica e matemática computacional - exercícios 02
TRANSCRIPT
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 02 – LÓGICA PROPOSICIONAL
Prof. Thomás da [email protected]
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabelas Verdades
LÓGICA PROPOSICIONAL
p q p˄qV V V
V F F
F V F
F F F
Conjunção (E – AND):p q p˅qV V V
V F V
F V V
F F F
Disjunção (OU – OR):
p q p→qV V V
V F F
F V V
F F V
Condicional:p q p↔qV V V
V F F
F V F
F F V
Bi condicional:
Negação (NÃO – NOT):p ¬p
V F
F V
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabela Verdade com 3 Elementos
LÓGICA PROPOSICIONAL
p q rV V VV V FV F VV F FF V VF V FF F VF F F
• 2 possibilidades (V e F)• 3 proposições
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabela Verdade com 4 Elementos
LÓGICA PROPOSICIONAL
p q r sV V V VV V V FV V F VV V F FV F V VV F V FV F F VV F F FF V V VF V V FF V F VF V F FF F V VF F V FF F F VF F F F
• 2 possibilidades (V e F)• 4 proposições
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
ExemploResolva as tabelas verdades de acordo com o tipo de conectivo:
a) (p ˄ q) ↔ (p ˅ q)
p q (p ˄ q) ↔ (p ˅ q)V V V V V V V V VV F V F F F V V FF V F F V F F V VF F F F F V F F F
Responder os exercícios neste formato, pois será cobrado na PROVA
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) (p ˄ q) ↔ (p ˅ q)b) (p ˄ q) → (r ˄ q)c) (p ˄ q) ↔ (¬r → q)d) p ˄ q → r ˅ ¬se) (¬p ˅ q → p) ˅ rf) ¬(¬q → p)g) ¬(¬p ˄ ¬q) → ¬r
ExercíciosResolva as tabelas verdades de acordo com o tipo de conectivo:
LÓGICA PROPOSICIONAL
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
ExemploSejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
LÓGICA PROPOSICIONAL
a) Marcos é alto e eleganteResposta: p ˄ q
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exercícios
LÓGICA PROPOSICIONAL
Sejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
a) Marcos é alto e eleganteb) Marcos é alto, mas não é elegantec) Não é verdade que Marcos é baixo ou eleganted) Marcos não é nem alto e nem elegantee) Marcos é alto ou é baixo e elegantef) É falso que Marcos é baixo ou que não é elegante
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exercícios
LÓGICA PROPOSICIONAL
Traduzir para a linguagem simbólica as seguintes proposições matemáticas:
a) x = 0 ou x > 0b) x = 0 e y = 0c) x > 1 ou x + 1 = 0d) (x + y = 0 e z > 0) ou z = 0
Obrigado !!!
ANHANGUERA – 2016.2