SEMNTICA DA LGICA PROPOSICIONAL

(semntica se refere ao SIGNIFICADO)

O valor verdade de uma proposio depende do contexto em que essa proposio avaliada.
Pode ser {verdadeiro(V) ou falso(F)}
NOT - AND -OR
(CONDICIONAL)
(BICONDICIONAL)
Not
P Np
V F (interpretao 1)
F V (interpretao 2)
P -> (-Q^R)
P Q R -Q (-Q^R) P->(-Q^R)
V V V F F F
V V F F F F
V F V V V V
V F F V F F
F V V F F V
F V F F F V
F F V V V V
F F F V F V

P -> (Q V (R -> - P))
P Q R -P R->-P Q V (R->-P) P -> (Q V (R->-P))
V V V F F V V
V V F F V V V
V F V F F F F
V F F F V V V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V








P Q R S -S (P v Q) (R^-S) (P v Q) -> (R^-S)
V V V V F V F F
V V V F V V V V
V V F V F V F F
V V F F V V F F
V F V V F V F F
V F V F V V V V
V F F V F V F F
V F F F V V F F
F V V V F V F F
F V V F V V V V
F V F V F V F F
F V F F V V F F
F F V V F F F V
F F V F V F V V
F F F V F F F V
F F F F V F F V