Deducción natural

$p$ proposición

$\mathrm{\top }$ verdad

$\mathrm{\perp }$ falsedad

$\mathrm{\neg }$ negación

$\wedge$ conjunción

$\vee$ disyunción inclusiva

$\nleftrightarrow$ disyunción exclusiva

$\to$ condicional

$\leftrightarrow$ bicondicional

$⊢$ torniquete

$\equiv$ equivalencia

• Prioridad del operador: (baja) $\leftrightarrow \to \vee \wedge \mathrm{\neg }$ (alta).
• El número de filas de la tabla sin contar el encabezado es igual a $2^{n\acute{u}merodevariables}$

$\begin{array}{cccccccccc}p\nleftrightarrow q& p\leftrightarrow q& p\to q& p\nrightarrow q& p\vee q& p\downarrow q& p\wedge q& p\uparrow q& p& q\\ 0& 1& 1& 0& 1& 0& 1& 0& 1& 1\\ 1& 0& 0& 1& 1& 0& 0& 1& 1& 0\\ 1& 0& 1& 0& 1& 0& 0& 1& 0& 1\\ 0& 1& 1& 0& 0& 1& 0& 1& 0& 0\\ XOR& NXOR& IMPLY& NIMPLY& OR& NOR& AND& NAND& p& q\end{array}$

• Entre dos operaciones idénticas la operación de la derecha es prioritaria.

• La conjunción, la disyunción y el bicondicional tienen la propiedad conmutativa y asociativa.

Reglas de deducción natural

1. /Reglas de introducción/
2. /Reglas de eliminación/
3. /Reglas derivadas/
   1. /Carga de premisa/
4. /Falacias/

$p\to p$ principio de identidad

$p\leftrightarrow p$ principio de identidad

$\mathrm{\neg }(p\wedge \mathrm{\neg }p)$ principio de no contradicción

$p\vee \mathrm{\neg }p$ principio de exclusión de tercero

$\mathrm{\neg }\mathrm{\neg }p\leftrightarrow p$ principio de doble negación 

$\mathrm{\neg }\mathrm{\neg }\mathrm{\neg }p\leftrightarrow \mathrm{\neg }p$ principio de triple negación

$p\wedge p\leftrightarrow p$ ley de idempotencia de la conjunción

$p\vee p\leftrightarrow p$ ley de idempotencia de la disyunción

$p\wedge q\leftrightarrow q\wedge p$ ley conmutativa de la conjunción

$p\vee q\leftrightarrow q\vee p$ ley conmutativa de la disyunción

$(p\leftrightarrow q)\leftrightarrow (q\leftrightarrow p)$ ley conmutativa del bicondicional

Referencias

en:Deducción natural