Lógica Simbólica

¿Por qué usar Símbolos?

• Para representar juicios y analizar el sentido lógico del lenguaje.

• Para complicar el lenguaje.

• Para evitar el uso de palabras.

• Para hacer la lógica más difícil.

Definiendo un Juicio: Afirmaciones Verdaderas o Falsas

Ejemplo Clave: "Mañana hay examen" es un juicio; puede ser verdadero o falso.

La Negación (¬): La negación invierte el valor de verdad de una afirmación.

Ejemplo: "Hoy no quiero salir" es una negación lógica.

La Conjunción ( ∧): Une dos afirmaciones que deben ser verdaderas simultáneamente.

Ejemplo: “Ordenas tu ropa y lavas los platos para salir.”

La Disyunción ( ∨): Indica que al menos una de las afirmaciones debe ser verdadera.

Ejemplo: “Puedes elegir: pizza o hamburguesa.”

El Condicional ( →): Establece una relación de causa-efecto: Si p, entonces q.