Proposiciones Lógicas
Una proposición es una afirmación que puede ser verdadera o falsa, pero
no ambas.
Tipos de Proposiciones
1. Proposición Simple: No se puede descomponer.
2. Proposición Compuesta: Se forma combinando proposiciones simples.
Conectivos Lógicos
Los conectivos se utilizan para formar proposiciones compuestas:
- “Y” (∧): Conjunción. es verdadero solo si ambos términos son
verdaderos.
- “O” (∨): Disyunción. es verdadero si al menos uno de los términos es
verdadero.
- “No” (¬): Negación. es verdadero si un término Es falso
- “Si… entonces” (→): Implicación. es verdadero solo si un término es
verdadero y el otro es falso.
- “Si y solo si” (↔): Bicondicional. es verdadero si ambos términos son
verdaderos o ambos son falsos.
Lenguaje Lógico
El lenguaje lógico utiliza símbolos para representar proposiciones y
conectivos. Algunos símbolos comunes son:
- ( P, Q, R ): Proposiciones.
- (Conjunción, Disyunción, negación, implicación, bicondicional):
Conectivos lógicos.
Ejemplo de una Proposición Compuesta
Supongamos que P es “Está lloviendo” y Q es “Voy a salir”. La
proposición compuesta “Si está lloviendo, entonces no voy a salir” se
representa como P→¬Q.
Resumen
- Las proposiciones son afirmaciones que pueden ser verdaderas o
falsas.
- Los conectivos lógicos ayudan a combinar proposiciones.
- El lenguaje lógico utiliza símbolos para representar estas proposiciones
y conectivos.