400-Mapas-Mentais-Raciocinio-Logico

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