Otras leyes importantes 2

Leyes de lógica proposicional

Ley del condicional

\( p \rightarrow q \equiv \neg p \vee q \)

Ley del bicondicional

\( p \leftrightarrow q \equiv (p \rightarrow q) \wedge (q \rightarrow p) \)

Ley de disyunción exclusiva

\( p \underline{\vee} q\equiv (p \wedge \neg q) \vee (q \wedge \neg p) \)

Ley del contrarrecíproco

\( p \rightarrow q \equiv \neg q \rightarrow \neg p \)

Ley de reducción al absurdo

\( p \rightarrow q \equiv p \wedge \neg q \rightarrow 0 \)

Ley de demostración por casos

\[ (p \vee q) \rightarrow r \equiv (p \rightarrow r) \land (q \rightarrow r) \]

Leyes de absorción

\( p \vee (p \wedge q) \equiv p \)

\( p \wedge (p \vee q) \equiv p \)