1.- CONJUNCION
La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es:
| P | q | p^q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
2.- La disyunción de dos proposiciones p, q es la operación binaria que da por resultado p ó q, notación p v q, y tiene la siguiente tabla:
| P | q | p^q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Con la disyunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresión p ∨ q sea verdadera.
3.- CONDICIONAL
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por:
| P | q | p^q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso.
4.- BICONDICIONAL
La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se representa por p ↔ q su tabla de verdad está dada por:
| P | q | p^q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
