Proveslatex

columna 1: tautologia [math]\displaystyle{ (p\vee ¬p)\wedge (q \vee ¬q) }[/math]	columna 2: disjunció inclusiva [math]\displaystyle{ (p\vee q) }[/math]
columna 3: condicional material inversa [math]\displaystyle{ (q\rightarrow p) }[/math]	columna 4: afirmació de p [math]\displaystyle{ (p) }[/math]
columna 5: condicional material [math]\displaystyle{ (p\rightarrow q) }[/math]	columna 6: afirmació de q [math]\displaystyle{ (q) }[/math]
columna 7: bicondicional [math]\displaystyle{ (p\leftrightarrow q) }[/math]	columna 8: conjunció [math]\displaystyle{ (p\wedge q) }[/math]
columna 9: incompatibilitat (p/q) Barra o functor de Scheffer [math]\displaystyle{ (¬p\vee ¬q), ¬(p\wedge q), o (p\rightarrow ¬q) }[/math]	columna 10: disjunció exclusiva [math]\displaystyle{ p\veebar q }[/math]
columna 11: negació de q [math]\displaystyle{ (¬q) }[/math]	columna 12: afirmació de q i negació de p [math]\displaystyle{ ¬(q\rightarrow p)= (q\wedge ¬p) }[/math]
columna 13: negació de p [math]\displaystyle{ (¬p) }[/math]	columna 14: afirmació de q i afirmació de p [math]\displaystyle{ ¬(p\rightarrow q)= (p\wedge ¬q) }[/math]
columna 15: [math]\displaystyle{ (p\downarrow q) }[/math] negació de la disjunció, o functor de Peirce [math]\displaystyle{ ¬(p\vee q), (¬p\wedge ¬q) }[/math] "solament és veritable si tots dos enunciats són falsos"	columna 16: contradicció [math]\displaystyle{ (p\wedge ¬p)\vee (q\wedge ¬q) }[/math]