En resumen:
- Una proposición se refiere a un enunciado que puede ser verdadero (V) o falso (F), a lo que llamaremos su valor de verdad. Las denotaremos por letras minusculas p, q, r, s, etc...
- Conectivos lógicos: Estos nos permiten obtener nuevas proposiciones a partir de otras dadas.
- Negación: Dada una proposición p, se llama negación de p, y se denota "~p",o bien " ¬p"," 'p", ":p", a la proposición "no p".
Esto significa que ¬p es F cuando p es V y viceversa.- Conjunción: Dadas dos proposiciones p y q, la conjunción de ellas es la proposición "p y q", la cual denotaremos como "p^q",o bien "p&q".
Esta proposición es verdadera solamente en el caso de que ambas proposiones lo sean, lo que quiere decir que si alguna de estas es falsa, la conjunción sera falsa.- Disyunción: Dadas dos proposiciones p y q, la disjunción de ellas es la proposición "p o q", la denotaremos "p v q".
Esta proposición es falsa solo cuando ambas proposiciones lo son.
- Existen dos tipos de proposiciones, las simples (atómicas) y las compuestas (moleculares), es decir, las que no incluyen los conectivos lógicos y las que sí los incluyen.