Escolar Documentos
Profissional Documentos
Cultura Documentos
Negação ~ ou ¬
Sempre que uma proposição P for verdadeira,
sua negação ~P será falsa, e se P for falsa, ~P
será verdadeira.
Ex.:
P: 2 é par
~P: 2 não é par
Lógica Proposicional
A B ~A (~A^B) (~A ^ B) v A
V V F F V
V F F F V
F V V V V
F F V F F
Lógica Proposicional
V V V
V F F
F V V
F F V
Exemplos
A partir dos conhecimentos existentes referente a astronomia,
determine valor lógico V ou F para as sentenças abaixo:
V V V
V F F
F V F
F F V
Exemplos
A partir dos conhecimentos químicos existentes, determine
valor lógico V ou F para as sentenças abaixo:
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
Exemplo
(MEC – CESPE) Considerando as proposições simples P, Q e
R, julgue os próximos itens, acerca da tabelas-verdade e
lógica proposicional.
A tabela verdade da proposição (¬P v Q) → (R ^ Q) v (¬R ^ P)
tem 8 linhas
( ) Certo ( ) Errado
Exemplo
(SEFAZ – ES – CESPE) Considerando todas as possíveis
valorações V ou F das proposições simples P e Q, a
quantidade de valorações V na tabela-verdade da proposição:
[(P ^ Q) v (~Q)] →[P v (~Q)]
a) 1 b) 2 c) 3 d) 4 e) 0
TAUTOLOGIA
Lógica Proposicional