Si las proposiciones p y q son equivalentes, ambas son verdaderas o ambas falsas, es decir, ambas tienen el mismo valor de verdad. Una tautología es una afirmación que siempre es cierta. Una contradicción es una afirmación que siempre es falsa.
¿Qué significa P -> Q?
p → q (p implica q) (si p entonces q) es la proposición que es falsa cuando p es verdadera y q es falsa y verdadera en caso contrario.
¿Qué es lógicamente equivalente a P → Q?
P→Q es lógicamente equivalente a ¬P∨Q. … Ejemplo: “Si un número es múltiplo de 4, entonces es par” es equivalente a “un número no es múltiplo de 4 o (si no) es par.”
¿Qué es P sólo si Q?
Solo si introduce una condición necesaria: P solo si Q significa que la verdad de Q es necesaria, o requerida, para que P sea verdadera. Es decir, P solo si Q descarta solo una posibilidad: que P sea verdadera y Q sea falsa.
¿Cuando el condicional p → q es falso?
Sean p y q dos proposiciones, entonces "si p entonces q" es una proposición compuesta, denotada por p→ q y referida como una proposición condicional o implicación. La implicación p→ q es falsa sólo cuando p es verdadera, y q es falsa; de lo contrario, siempre es cierto.
