¿Qué es?
No se ha añadido ninguna twiki todavía.
| columna 1: tautología
[math](p\vee ¬p)\wedge (q \vee ¬q)[/math] |
columna 2: disyunción inclusiva
[math](p\vee q)[/math] |
| columna 3: condicional material inversa
[math](q\rightarrow p)[/math] |
columna 4: afirmación de p
[math](p)[/math] |
| columna 5: condicional material
[math](p\rightarrow q)[/math] |
columna 6: afirmación de q
[math](q)[/math] |
| columna 7: bicondicional
[math](p\leftrightarrow q)[/math] |
columna 8: conjunción
[math](p\wedge q)[/math] |
| columna 9: incompatibilidad (p/q) Barra o functor de Scheffer
[math](¬p\vee ¬q), ¬(p\wedge q), o (p\rightarrow ¬q)[/math] |
columna 10: disyunción exclusiva
[math]p\veebar q[/math] |
| columna 11: negación de q
[math](¬q)[/math] |
columna 12: afirmación de q y negación de p
[math]¬(q\rightarrow p)= (q\wedge ¬p)[/math] |
| columna 13: negación de p
[math](¬p)[/math] |
columna 14: afirmación de q y afirmación de p
[math]¬(p\rightarrow q)= (p\wedge ¬q)[/math] |
| columna 15: [math](p\downarrow q)[/math] negación de la disyunción, o functor de Peirce
[math]¬(p\vee q), (¬p\wedge ¬q)[/math] "solamente es verdadera si ambos enunciados son falsos" |
columna 16: contradicción
[math](p\wedge ¬p)\vee (q\wedge ¬q)[/math] |