You are on page 1of 1

10 Regras bsicas da rvore de Refutao

Negao Negao Negada

~
^

~ x
Conjuno

~~
x
Conjuno Negada

^
Disjuno

~( ^ ) ~ ~
Disjuno Negada

v
Condicional

~( v ) ~ ~
Condicional Negado

~( )
~
Bicondicional Negado

Bicondicional

~ ~

~( ) ~ ~

You might also like