REGLAS DE

INFEREFENCIA Formula EJEMPLOS

premisas pq ~pq p~q ~(a v b)~x

Modus
p ~p p ~(a v b)
Ponens
conclusión q q ~q ~x

premisas pq ~pq p~q ~(a v b)x

Modus ~q ~q ~~q [q] ~~x [x]
Tollens
conclusión ~p ~~p [p] ~p ~~(a v b) [(a v b)]

premisas pvq ~p v q ~p v ~q ~(a v b) v ~x

Silogismo
~p ~q ~~p [p] ~~(a v b) [(a v b)]
disyuntivo
conclusión q ~p ~q ~x

premisas pq ~pq ~p~q (a v b)~(c • d)

Silogismo
qx q~x ~qr ~(c • d) ~r
hipotético
conclusión px ~p~x ~pr (a v b)~r
pvq ~p v ~q ~x v (ab) (a • b) v (q v ~p)
Dilema premisas pa ~p~a ~xr (a • b)x
constructivo qb ~qb (ab)~t (q v ~p)z
conclusión avb ~a v b r v ~t xvz