Juego de Lógica Computacional

Test

Parties jouées 0

Créer une copie

À propos de cette activité

Conceptos básicos de lógica

Créé par

valentina moreno prada

United States

Téléchargez la version pour jouer sur papier

Top 10 résultats

Il n'y a toujours pas de résultats pour ce jeu. Soyez le premier à apparaître dans le classement! Connectez-vous pour vous identifier.

Créez votre propre jeu gratuite à partir de notre créateur de jeu

Affrontez vos amis pour voir qui obtient le meilleur score dans ce jeu

Créer un défi

		%
	Anonyme	%
		%
		%

Imprimez votre jeu

Juego de Lógica Computacional


Juego de Lógica ComputacionalVersion en ligne Conceptos básicos de lógica par valentina moreno prada 1 ¿Qué es una proposición en lógica computacional? a Una oración que es verdadera o falsa b Una afirmación sin valor de verdad c Una hipótesis no verificable d Una instrucción ejecutable 2 ¿Cuál es la tabla de verdad de A ∧ B? a Verdadero cuando A o B es verdadero b Verdadero en cualquiera de las dos c Verdadero solo si A y B son verdaderas d Verdadero cuando A es falsa 3 ¿Qué representa la negación de p ∨ q? a ¬p ∨ ¬q b ¬p ∧ ¬q c p ∨ q d ¬(p ∧ q) 4 ¿Qué afirma el principio de no contradicción? a Una proposición y su negación no pueden ser ambas verdaderas b Toda proposición es verdadera c La verdad depende de la interpretación d Una proposición es falsa 5 ¿Cuándo es falsa la implicación p → q? a todas las veces que p es verdadera b p es falsa y q es verdadera c p es verdadera y q es falsa d cuando q es verdadera aunque p sea falsa 6 ¿Qué significa p ↔ q? a q es siempre verdadero si p es verdadero b p y q tienen el mismo valor de verdad c p es verdadero solo si q es falso d p implica q pero no al revés 7 ¿Qué significa ∃x P(x)? a No se puede afirmar nada sobre x b Existe al menos un x tal que P(x) es verdadera c P(x) es siempre verdadera d Para todo x P(x) es verdadera 8 ¿Qué es una tautología en lógica proposicional? a Una fórmula verdadera solo en algunas asignaciones b Una fórmula que no admite interpretación c Una fórmula verdadera en todas las asignaciones d Una fórmula falsa en todas las asignaciones 9 ¿Qué es un predicado en lógica de predicados? a Una función proposicional con argumentos b Una regla de deducción c Una proposición sin valor de verdad d Un símbolo sin significado 10 ¿Qué método se utiliza para demostrar satisfacibilidad en lógica proposicional? a MéTODO de resolución b Regla de sustitución c Algoritmo de refinamiento d Derivación natural Explicación 1 Una proposición tiene valor de verdad: verdadera o falsa. 2 Conjunción es verdadera solo si ambas son verdaderas. 3 La negación de una disyunción es la conjunción de las negaciones. 4 No pueden ser verdaderas al mismo tiempo. 5 La implicación falla solo si p es verdadera y q es falsa. 6 Equivalencia bicondicional: ambos comparten valor de verdad. 7 Cuantificador existencial afirma existencia. 8 Tautología es veracidad universal. 9 Un predicado toma argumentos y devuelve una proposición. 10 La resolución es un método estándar para prueba de satisfacibilidad.

Vous pouvez intégrer le jeu dans un LMS compatible avec LTI 1.1 ou LTI 1.3 comme Canvas, Moodle ou Blackboard. Les scores seront ainsi automatiquement enregistrés dans le carnet de notes de la plateforme.

Juego de Lógica Computacional

Test

À propos de cette activité

Créé par

Téléchargez la version pour jouer sur papier

Top Jeux

Test

Spanish Alphabet Listening

Test

Photosynthesis vs Cellular Respiration - Practice Quiz

Test

Tissues - Practice Quiz

Test

UPS 5 Seeing Habits Quiz

Test

Practice Quiz - Punnett Square, Variation, and Mutations

Juego de Lógica ComputacionalVersion en ligne

par valentina moreno prada

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

¿Cuál es la tabla de verdad de A ∧ B?

¿Qué representa la negación de p ∨ q?

¿Qué afirma el principio de no contradicción?

¿Cuándo es falsa la implicación p → q?

¿Qué significa p ↔ q?

¿Qué significa ∃x P(x)?

¿Qué es una tautología en lógica proposicional?

¿Qué es un predicado en lógica de predicados?

¿Qué método se utiliza para demostrar satisfacibilidad en lógica proposicional?

Explicación