5. Lógica argumentativa – Negação
b1000 R
Modificadores
NEGAÇÃO
Símbolo:
Representação: p
p
p ¬p
F V
V F
Ex: p ∨ (¬p)
¬
¬
ou
ou
Simples Ex.: Maria foi à escola. Negação: Maria NÃO foi à escola
Composta "Não é verdade que ..."
Proposições
Compostas
Negação
~ (p r) = ~p v ~r Conjuntiva
Negação
~ (p v r) = ~p ~r Disjuntiva
Negação
Condicional
~ (p r) = p ~r
v
v
v
Negação
(p ~r) (r ~p)v Bicondicional
~(p r)= v v