Regras bsicas de inferncia

De eliminao
Dupla Negao (~~e)

De introduo
Dupla Negao (~~i)

~~

~~

Negao (~e)

Reduo ao absurdo (RAA)

H RAA

Modus ponens (MP)

Prova condicional (PC)

H PC

Conjuno (e)

Conjuno (i)

Disjuno (e)

Disjuno (i)

Bicondicional (e)

Bicondicional (i)

Regras derivadas de inferncia

Modus tollens (MT)

~ ~

Silogismo disjuntivo (SD)

~ ou ~

Silogismo hipottico (SH)

Introduo de Se e so equivalentes e uma subequivalncia frmula de infere-se o resultado da substituio de por em

Regras de equivalncia
~(p q) (~p ~q) ~(p q) (~p ~q) (p q) (q p) (p q) (q p) (p (q r)) ((p q) r) (p (q r)) ((p q) r) (p (q r)) ((p q) (p r)) (p (q r)) ((p q) (p r)) p ~~p (p q) (~q ~p) (p q) (~p q) ((p q) r) (p (q r)) p (p p) p (p p) Lei de De Morgan (DM) Lei de De Morgan (DM) Comutao (COM) Comutao (COM) Associao (ASS) Associao (ASS) Distribuio (DIS) Distribuio (DIS) Dupla negao (DN) Transposio (TRA) Implicao material (IM) Exportao (EXP) Tautologia (TAU) Tautologia (TAU)

Regras para rvore de refutao

Negao (~) Negao negada (~~) Conjuno () Conjuno negada (~) Disjuno () Disjuno negada (~) Condicional () Condicional negada (~) Bicondicional () Bicondicional negada (~) Se um ramo aberto contm e ~, coloca-se X no final do ramo, fechando-o Se um ramo aberto contm ~~ (no marcada), marca-se ~~ e escreve-se no final de cada ramo aberto que contm ~~ Se um ramo aberto contm (no marcada), marca-se e escreve-se e no final de cada ramo aberto que contm . Se um ramo aberto contm ~( ) (no marcada), marca-se ~( ), bifurcase cada ramo aberto que contm ~( ) e escreve-se ~ no primeiro ramo e ~ no segundo ramo. Se um ramo aberto contm (no marcada), marca-se , bifurca-se cada ramo aberto que contm e escreve-se no primeiro ramo e no segundo ramo. Se um ramo aberto contm ~( ) (no marcada), marca-se ~( ) e escreve-se ~ e ~ no final de cada ramo aberto que contm ~( ). Se um ramo aberto contm (no marcada), marca-se , bifurca-se cada ramo aberto que contm e escreve-se ~ no primeiro ramo e no segundo ramo. Se um ramo aberto contm ~( ) (no marcada), marca-se ~( ) e escreve-se e ~ no final de cada ramo aberto que contm ~( ). Se um ramo aberto contm (no marcada), marca-se , bifurca-se cada ramo aberto que contm e escreve-se e no primeiro ramo e ~ e ~ no segundo ramo. Se um ramo aberto contm ~( ) (no marcada), marca-se ~( ), bifurca-se cada ramo aberto que contm ~( ) e escreve-se e ~ no primeiro ramo e ~ e no segundo ramo.