Mate

Principales Conectivos Lógicos:

Negación (¬, ~, «no»)

• Invierte el valor de verdad de una proposición.
• Ejemplo: Si p = «Hace sol», entonces ¬p = «No hace sol».

Conjunción (∧, «y»)

• Es verdadera solo si ambas proposiciones son verdaderas.
• Ejemplo: p = «Hace sol», q = «Es de día» → p ∧ q = «Hace sol y es de día».

Disyunción (∨, «o»)

• Es verdadera si al menos una de las proposiciones es verdadera (incluyendo ambas).
• Ejemplo: p = «Llueve», q = «Nieva» → p ∨ q = «Llueve o nieva».

Implicación o Condicional (→, «si… entonces»)

• p → q es falsa solo si p es verdadera y q es falsa. En otros casos, es verdadera.
• Ejemplo: p = «Estudias», q = «Aprobarás» → p → q = «Si estudias, entonces aprobarás».

Bicondicional (↔, «si y solo si»)

• Es verdadera cuando ambas proposiciones tienen el mismo valor de verdad.
• Ejemplo: p = «Un número es par», q = «Es divisible por 2» → p ↔ q = «Un número es par si y solo si es divisible por 2».

---

Tablas de Verdad Comunes:

p	q	¬p	p ∧ q	p ∨ q	p → q	p ↔ q
V	V	F	V	V	V	V
V	F	F	F	V	F	F
F	V	V	F	V	V	F
F	F	V	F	F	V	V

---

Importancia:

• Permiten analizar argumentos en matemáticas, programación, filosofía y ciencias.
• Son la base de estructuras como circuitos lógicos y algoritmos.

---