Professional Documents
Culture Documents
LÓGICA DE PROGRAMAÇÃO
CONECTIVOS
~ Corresponde a “não”
∧ Corresponde a “e”
∨ Corresponde a “ou”
⇒ Corresponde a “então”
⇔ Corresponde a “se somente se”
• Conjunções: a ∧ b (lê-se: a e b)
• Disjunções: a ∨ b (lê-se: a ou b)
Exemplo:
Seja a sentença:
“Se Cacilda é estudiosa então ela passará na ETE”
Sejam as proposições:
p = “Cacilda é estudiosa”
q = “Ela passará na ETE”
TABELA VERDADE
Representaremos então o valor lógico de cada molécula com seu respectivo conectivo.
Valor verdade de ~P
P ~P
V F
F V
P Q P∧Q
V V V
V F F
F V F
F F F
O valor e P∧Q, será verdade, somente quando os dois valores forem verdadeiros.
P Q P∨Q
V V V
V F V
F V V
F F F
O valor de P∨Q, será Falso, somente quando os dois valores forem Falsos.
Escola Técnica Estadual de Diadema
Valor verdade de P ⇒ Q
P Q P⇒Q
V V V
V F F
F V V
F F V
O valor de P então Q, será falso, apenas quando o valor de P for Verdadeiro e Q for falso
P Q P⇔Q
V V V
V F F
F V F
F F V
Moléculas
A B ~A A∧ B A∨ B A⇒b A⇔B
V V F V V V V
V F F F V F F
F V V F F V F
F F V F F V V
Escola Técnica Estadual de Diadema
P Q R P∧Q (P ∧ Q) ⇒ R
V V V V V
V V F V F
V F V F V
F V V F V
V F F F V
F V F F V
F F V F V
F F F F V