Cómo usar la herramienta
- Escribe la proposición con los botones de símbolos o con el teclado (por ejemplo, p -> q).
- La tabla se genera al escribir: primero las variables, después cada subexpresión y al final la proposición completa.
- Copia la tabla para pegarla en Word o Excel.
Conectivos lógicos
¬p (negación) es verdadera cuando p es falsa. p ∧ q (conjunción) solo es verdadera si ambas lo son. p ∨ q (disyunción) es falsa solo si ambas son falsas. p ⊕ q (disyunción exclusiva) es verdadera si exactamente una es verdadera.
p → q (condicional) solo es falsa cuando p es verdadera y q falsa. p ↔ q (bicondicional) es verdadera cuando ambas tienen el mismo valor.
Preguntas frecuentes
¿Qué símbolos puedo usar?
Negación: ¬ ~ ! o NOT. Conjunción: ∧ & ^ o AND. Disyunción: ∨ | u OR. Disyunción exclusiva: ⊕ o XOR. Condicional: → -> o =>. Bicondicional: ↔ <-> o <=>. Las variables son letras sueltas (p, q, r…) y también puedes usar 1 y 0 como constantes.
¿En qué orden se evalúan los conectivos?
Primero la negación, luego la conjunción, después la disyunción (y la disyunción exclusiva), luego el condicional y al final el bicondicional. El condicional agrupa por la derecha: p → q → r es p → (q → r). Si tienes dudas, usa paréntesis.
¿Qué es una tautología, una contradicción y una contingencia?
Es tautología si la proposición es verdadera en todas las filas, contradicción si es falsa en todas y contingencia si es verdadera en algunas y falsa en otras.
Ejemplo: p ∨ ¬p es tautología; p ∧ ¬p es contradicción; p → q es contingencia.
¿Por qué la tabla empieza con V?
Se sigue la convención de los textos de lógica en español: la primera fila tiene todas las variables verdaderas y la última todas falsas.