reglas derivadas

Principio de identidad (iteración)

X

_

X

Pseudo Scoto [PS]

X^¬X

____

Y

Contraposición de la implicación [contra ->]

X->Y

_______

_______

¬Y->¬X

Conmutación de la conjunción

X^Y

___

___

Y^X

Conmutación de la disyunción

XvY

___

___

YvX

Conmutación de la conjunción

(X^Y)^Z

_______

_______

X^(Y^Z)

conmutación del bicondicional

X<->Y

_____

_____

Y<->X