Discusión:Absorción (lógica)

$p\land (p\lor q)\leftrightarrow p\leftrightarrow p\lor (p\land q)$

Posible forma inferencial para la absorción, si se se acepta la isomorfía entre el álgebra de Boole y el álgebra de Cantor es:

${\frac {p\land (p\lor q)}{\therefore p}}$

--45.32.145.190 (discusión) 06:42 3 ene 2016 (UTC)

• $P\to Q\vdash P\to (P\land Q)$

• ${\frac {S\Rightarrow T}{\therefore S\Rightarrow (S\land T)}}$