Escolar Documentos
Profissional Documentos
Cultura Documentos
LGICA DE PROGRAMAO
CONECTIVOS
Os conectivos sero representados da seguinte forma:
~ Corresponde a no
Corresponde a e Corresponde a ou Corresponde a ento Corresponde a se somente se
Sendo assim, a partir de uma proposio podemos construir uma outra correspondente com a sua negao; e com duas ou mais, podemos formar: Conjunes: a b (l-se: a e b) Disjunes: a b (l-se: a ou b) Condicionais: a b (l-se: se a ento b) Bicondicionais: a b (l-se: a se somente se b) Exemplo: Seja a sentena: Se Cacilda estudiosa ento ela passar na ETE Sejam as proposies: p = Cacilda estudiosa q = Ela passar na ETE Da, poderemos representar a sentena da seguinte forma: Se p ento q (ou p q)
TABELA VERDADE
Representaremos ento o valor lgico de cada molcula com seu respectivo conectivo.
Valor verdade de ~P
P V F ~P F V
~P falso, e vice-versa.
Valor verdade de PQ
P V V F F Q V F V F PQ V F F F
O valor e PQ, ser verdade, somente quando os dois valores forem verdadeiros.
Valor verdade de PQ
V V F F
Q V F V F
PQ V V V F
O valor de PQ, ser Falso, somente quando os dois valores forem Falsos.
Valor verdade de P Q
P V V F F Q V F V F PQ V F V V
O valor de P ento Q, ser falso, apenas quando o valor de P for Verdadeiro e Q for falso
Valor verdade de PQ
P V V F F iguais. Q V F V F PQ V F F V
A V V F F
B F
~A
F V F
A B V F F
A B V F V F
Ab V V F
AB V F F
V V F
V V V V F F F F
V F
V F
V F
F F
V V