Lógica formal: Tablas de Verdad

¿Qué representa una tabla de verdad?

• Una herramienta matemática para resolver ecuaciones.

• Un método para visualizar todas las combinaciones de valores de verdad de una proposición lógica.

• Una forma de medir la validez de los argumentos filosóficos.

• Un diagrama para clasificar argumentos.

¿Cuántas filas tiene una tabla de verdad con 3 proposiciones simples?

• 4

• 6

• 8

• 10

¿Qué valor toma el condicional P→Q cuando P es verdadero y Q es falso?

• Falso

• Verdadero

• Depende de ¬P

• Indeterminado

¿Qué ocurre con una proposición contradictoria en una tabla de verdad?

• Es verdadera en todas las combinaciones.

• No puede representarse en una tabla.

• Es verdadera en algunas combinaciones y falsa en otras.

• Es falsa en todas las combinaciones.

¿Qué tipo de proposición es (P ∨ ¬P)?

• Contingencia

• Contradicción

• Tautología

• Conjunción

¿Qué operador lógico se utiliza para la disyunción?

• →

• ∧

• ∨

• ¬

¿Qué operador lógico se utiliza para representar "no"?

• ∨

• ¬

• ∧

• ↔

¿Cuál es el resultado de (P ∧ Q) si P es falso y Q es verdadero?

• Falso

• Verdadero

• Depende de ¬Q

• Indeterminado

¿Cuál es el resultado de (P ∨ Q) si P es falso y Q es falso?

• Verdadero

• Falso

• Depende de ¬P

• Indeterminado

¿Qué operador lógico se utiliza para el bicondicional?

• ∨

• ∧

• ↔

• →