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.
- Condicional : Dadas dos proposiciones p y q, la condicional de ellas es la proposición "Si p..., entonces q", la cual se denota "p → q".
Acá p se llama antecedente y q consecuente, El condicional es verdadero en cualquier caso, salvo si el antecedente es verdadero y el consecuente es falso.
- Bicondicional: Dadas dos proposiciones p y q, su bicondicionalidad es la proposición "p si y sólo si q".La proposición es verdadera solo si ambas tienen igual valor de verdad. Osea p es V si y solo si q es V.
- 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.
