Proveslatex
De Wikisofia
| 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] |