Lógica Proposicional

Test

Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

Descarga la versión para jugar en papel

Duplicar

Crear reto

Sobre Test

lógica proposicional

0 veces realizada

Creada por

Jacqueline Ballesteros Torres Brousset

Perú

Este juego es una version de

Lógica Proposicional

Top 10 resultados

Todavía no hay resultados para este juego. ¡Sé el primero en aparecer en el ranking!

Inicia sesión

para identificarte.

Crea tu propio juego gratis desde nuestro creador de juegos

Crear test

Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad

Crear reto


Lógica ProposicionalVersión en línea Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica por Jacqueline Ballesteros Torres Brousset 1 Símbolos cuya función es vincular proposiciones para generar nuevas proposiciones a Implicaciones b conectivos lógicos c Disyunciones 2 Conectivo que en el lenguaje natural se lee como “y” a Conjunción b Disyunción c Condicional 3 Conectivo que se utiliza para diferenciar, separar o indicar una alternativa a Conjunción b Disyunción c Condicional 4 Forma proposicional que es siempre verdadera a Tautología b Contingencia c Contradicción 5 Forma proposicional que es siempre falsa a Tautología b Contingencia c Contradicción 6 Razonamiento cuya conclusión se deduce de las premisas a Contradictorio b válido c No valido 7 El condicional directo y el contrarecíproco son a Equivalentes b No equivalentes c Válidos 8 Dos formas proposicionales p y q son equivalentes si: a P ↔q es tautología b p→q es tautología c pᴧq es Tautología 9 Una proposición implica lógicamente a otra si a P ↔q es tautología b p→q es tautología c pᴧq es Tautología 10 Al simplificar ∼[(p∧∼q)→p] se obtiene a Tautología b Contingencia c Contradicción 11 Al simplificar (~q∨∼s)↔{q→[(∼q→∼s)∧∼s]} se obtiene a Tautología b Contingencia c Contradicción 12 Para comprobar la validez del razonamiento: p→~q , r→q , r ⱶ ~p se usaron a Ley del Condicional, MPP b MPP, MTP c MPP, MTT 13 Para comprobar la validez del siguiente razonamiento ∼t→s,r→p,~(t∧∼r),q→∼(s∨p)⊢∼q Se usaron las leyes: a Silogismo Disyuntivo, MPP; MTP b Morgan, Silogismo Disyuntivo, MTT c MTP, Morgan, Silogismo Hipotético 14 La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es a Tautología b Contingencia c Contradicción 15 Conectivo que precede a una proposición atómica a Implicación b Conjunción c Negación 16 ¿Qué es una proposición en lógica? a Una afirmación que puede ser verdadera o falsa. b Un tipo de argumento. c Una pregunta sin respuesta. d Una regla matemática. 17 ¿Cuál es la ley de la doble negación? a P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R). b P ∧ Q = Q ∧ P. c ¬(P ∧ Q) = ¬P ∨ ¬Q. d ¬(¬P) = P. 18 ¿Qué conectores lógicos se utilizan en proposiciones? a Y, O, NO. b Antes, Después. c Si, Entonces. d Más, Menos. 19 ¿Qué representa el conector 'Y' en lógica? a La disyunción de dos proposiciones. b La conjunción de dos proposiciones. c La negación de una proposición. d Una implicación. 20 ¿Qué es una proposición compuesta? a Una proposición que siempre es verdadera. b Una proposición formada por dos o más proposiciones simples. c Una proposición que no puede ser evaluada. d Una proposición que solo tiene un valor. 21 ¿Cuál es la ley de De Morgan? a P ∨ Q = Q ∨ P. b P ∧ Q = Q ∧ P. c ¬(P ∨ Q) = ¬P ∧ ¬Q. d ¬(P ∧ Q) = ¬P ∨ ¬Q. 22 ¿Qué es la tautología? a Una proposición que no tiene valor. b Una proposición que depende de otras. c Una proposición que es siempre verdadera. d Una proposición que es siempre falsa. 23 ¿Qué significa el conector 'O'? a La disyunción de dos proposiciones. b La conjunción de dos proposiciones. c La negación de una proposición. d Una implicación. 24 ¿Qué es una proposición simple? a Una afirmación que depende de otras. b Una afirmación que siempre es falsa. c Una afirmación que no contiene conectores lógicos. d Una afirmación con múltiples valores. 25 ¿Qué es la implicación en lógica? a Una relación de contradicción. b Una relación de igualdad. c Una relación donde si P es verdadera, Q también lo es. d Una relación de disyunción.

Lógica ProposicionalVersión en línea

Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

por Jacqueline Ballesteros Torres Brousset

Símbolos cuya función es vincular proposiciones para generar nuevas proposiciones

Implicaciones

conectivos lógicos

Disyunciones

Conectivo que en el lenguaje natural se lee como “y”

Conjunción

Disyunción

Condicional

Conectivo que se utiliza para diferenciar, separar o indicar una alternativa

Conjunción

Disyunción

Condicional

Forma proposicional que es siempre verdadera

Tautología

Contingencia

Contradicción

Forma proposicional que es siempre falsa

Tautología

Contingencia

Contradicción

Razonamiento cuya conclusión se deduce de las premisas

Contradictorio

válido

No valido

El condicional directo y el contrarecíproco son

Equivalentes

No equivalentes

Válidos

Dos formas proposicionales p y q son equivalentes si:

P ↔q es tautología

p→q es tautología

pᴧq es Tautología

Una proposición implica lógicamente a otra si

P ↔q es tautología

p→q es tautología

pᴧq es Tautología

Al simplificar ∼[(p∧∼q)→p] se obtiene

Tautología

Contingencia

Contradicción

Al simplificar (~q∨∼s)↔{q→[(∼q→∼s)∧∼s]} se obtiene

Tautología

Contingencia

Contradicción

Para comprobar la validez del razonamiento: p→~q , r→q , r ⱶ ~p se usaron

Ley del Condicional, MPP

MPP, MTP

MPP, MTT

Para comprobar la validez del siguiente razonamiento ∼t→s,r→p,~(t∧∼r),q→∼(s∨p)⊢∼q Se usaron las leyes:

Silogismo Disyuntivo, MPP; MTP

Morgan, Silogismo Disyuntivo, MTT

MTP, Morgan, Silogismo Hipotético

La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es

Tautología

Contingencia

Contradicción

Conectivo que precede a una proposición atómica

Implicación

Conjunción

Negación

¿Qué es una proposición en lógica?

Una afirmación que puede ser verdadera o falsa.

Un tipo de argumento.

Una pregunta sin respuesta.

Una regla matemática.

¿Cuál es la ley de la doble negación?

P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R).

P ∧ Q = Q ∧ P.

¬(P ∧ Q) = ¬P ∨ ¬Q.

¬(¬P) = P.

¿Qué conectores lógicos se utilizan en proposiciones?

Y, O, NO.

Antes, Después.

Si, Entonces.

Más, Menos.

¿Qué representa el conector 'Y' en lógica?

La disyunción de dos proposiciones.

La conjunción de dos proposiciones.

La negación de una proposición.

Una implicación.

¿Qué es una proposición compuesta?

Una proposición que siempre es verdadera.

Una proposición formada por dos o más proposiciones simples.

Una proposición que no puede ser evaluada.

Una proposición que solo tiene un valor.

¿Cuál es la ley de De Morgan?

P ∨ Q = Q ∨ P.

P ∧ Q = Q ∧ P.

¬(P ∨ Q) = ¬P ∧ ¬Q.

¬(P ∧ Q) = ¬P ∨ ¬Q.

¿Qué es la tautología?

Una proposición que no tiene valor.

Una proposición que depende de otras.

Una proposición que es siempre verdadera.

Una proposición que es siempre falsa.

¿Qué significa el conector 'O'?

La disyunción de dos proposiciones.

La conjunción de dos proposiciones.

La negación de una proposición.

Una implicación.

¿Qué es una proposición simple?

Una afirmación que depende de otras.

Una afirmación que siempre es falsa.

Una afirmación que no contiene conectores lógicos.

Una afirmación con múltiples valores.

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

Una relación de contradicción.

Una relación de igualdad.

Una relación donde si P es verdadera, Q también lo es.

Una relación de disyunción.

Lógica Proposicional

Test

Descarga la versión para jugar en papel

Creada por

Top 10 resultados

Top juegos

Mapa Interactivo

13 Colonies Map

Memory

NEW JEANS

Mapa Interactivo

Heart Labeling

Mapa Interactivo

Blank Keyboard Test

Relacionar Columnas

The Bill of Rights