Lógica: Enunciados y Tablas de verdad

Front

¿Qué es un enunciado lógico?

Back

Un enunciado lógico es una afirmación que puede ser verdadera o falsa, pero no ambas al mismo tiempo.

Front

¿Qué representa la conjunción en lógica?

Back

La conjunción, representada como P ^ Q, es verdadera solo si ambas proposiciones P y Q son verdaderas.

Front

¿Qué es una tabla de verdad?

Back

Una tabla de verdad es una herramienta que muestra todos los posibles valores de verdad de una proposición lógica y sus componentes.

Front

¿Cuál es el valor de verdad de una disyunción P v Q?

Back

La disyunción P v Q es verdadera si al menos una de las proposiciones P o Q es verdadera.

Front

¿Qué significa la negación de una proposición?

Back

La negación de una proposición P, representada como ~P, es verdadera si P es falsa y viceversa.

Front

¿Qué es un enunciado compuesto?

Back

Un enunciado compuesto es aquel que se forma a partir de dos o más enunciados simples conectados por operadores lógicos.

Front

¿Qué es un enunciado simple?

Back

Un enunciado simple es una afirmación que no contiene conectores lógicos y tiene un solo valor de verdad.

Front

¿Qué es la implicación en lógica?

Back

La implicación, representada como P --> Q, es falsa solo cuando P es verdadera y Q es falsa.

Front

¿Cuándo es verdadera la conjunción P ^ Q?

Back

La conjunción P ^ Q es verdadera solo cuando tanto P como Q son verdaderas.

Front

¿Qué es una proposición tautológica?

Back

Una proposición tautológica es aquella que es verdadera en todos los casos posibles.