Pregunta: ¿Cuál es una traducción lógica de "solo hay un animal que asusta al Sr. Smith y no asusta a la Sra. Smith"? ∃x, Miedo(Sr. Smith, x) ∧ ∼ Miedo(Sra. Smith, x), donde x es un animal ∃!x, Miedo(Sr. Smith, x) ⟶ Miedo(Sra. Smith, x), donde x es un animal ∃!x, Miedo(Sr. Smith, x) ∧ ∼ Miedo(Sra. Smith, x), donde x es un animal ∃x, Miedo(Sr. Smith, x) ⟶∼ Miedo(Sra.

¿Cuál es una traducción lógica de "solo hay un animal que asusta al Sr. Smith y no asusta a la Sra. Smith"?

∃x, Miedo(Sr. Smith, x) ∧ ∼ Miedo(Sra. Smith, x), donde x es un animal

∃!x, Miedo(Sr. Smith, x) ⟶ Miedo(Sra. Smith, x), donde x es un animal

∃!x, Miedo(Sr. Smith, x) ∧ ∼ Miedo(Sra. Smith, x), donde x es un animal

∃x, Miedo(Sr. Smith, x) ⟶∼ Miedo(Sra. Smith, x), donde x es un animal

∃x, Miedo(Sr. Smith, x) ⟶ Miedo(Sra. Smith, x), donde x es un animal

∀x, Miedo(Sr. Smith, x) ⟶ Miedo(Sra. Smith, x), donde x es un animal

Ninguna de las alternativas

-------------------------------------------------- -------------------------------------------------- ------------------

¿Cuál es una traducción lógica de "hay un animal que hiberna cuando comienza el invierno"?

∀x, Hibernates(x)⟶ comenzó(invierno), donde x es un animal

∀x, Iniciado(invierno) ∧ Hiberna(x) →VERDADERO, donde x es un animal

∃x, comenzó (invierno) ∧ Hiberna (x) ⟶ VERDADERO, donde x es un animal

∃x, Hiberna(x) ⟶ empezó(invierno), donde x es un animal

∃x, Comenzó (invierno) ⟶ Hiberna (x), donde x es un animal

Ninguna de las alternativas

-------------------------------------------------- -------------------------------------------------- -------------

¿Cuál es una traducción lógica de "algunas personas tienen miedo de todos los insectos y arácnidos"?

∀x, Miedo(x, insectos) ∧ Miedo(x, arácnidos), donde x es una persona

∃x, Miedo(x, insectos) ∧ Miedo(x, arácnidos), donde x es una persona

∃!x, Miedo(x, insectos) ∧ Miedo(x, arácnidos), donde x es una persona

∃x, Miedo(x, insectos) ∨ Miedo(x, arácnidos), donde x es una persona

∀x, Miedo(x, insectos) ⟶ Miedo(x, arácnidos), donde x es una persona

∃x, Miedo(x, insectos) ⟶ Miedo(x, arácnidos), donde x es una persona

Ninguna de las alternativas

-------------------------------------------------- -------------------------------------------------- --------------

∄y∀x, Inscrito(x, y), donde x es un estudiante de Champlain College e y es un título

No existe un título que tenga a todos los estudiantes de Champlain matriculados en él.

No hay carrera que no tenga alumnos matriculados

Todas las titulaciones tienen alumnos matriculados en ella

Ninguna de las alternativas es correcta.

-------------------------------------------------- -------------------------------------------------- -------------

∃!x∀y, Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

Todos los estudiantes de Champlain College están matriculados en al menos un grado

Todos los estudiantes de Champlain College están matriculados en exactamente un grado

Todos los títulos tienen al menos un estudiante de Champlain College matriculado en él

Todos los grados tienen exactamente un estudiante de Champlain College matriculado en él

Ninguna de las alternativas es correcta.

-------------------------------------------------- -------------------------------------------------- -----------

∀y∃x, Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

Todos los estudiantes de Champlain College están matriculados en al menos un grado

Todos los estudiantes de Champlain College están matriculados en exactamente un grado

Todos los títulos tienen al menos un estudiante de Champlain College matriculado en él

Todos los grados tienen exactamente un estudiante de Champlain College matriculado en él

Ninguna de las alternativas es correcta.

-------------------------------------------------- -------------------------------------------------- -----------

Para las siguientes fórmulas/proposiciones, indique la opción que corresponde a su negación: ∀x∃y, Inscrito(x, y), donde x es estudiante de Champlain College e y es un título

∃x∀y, ∼Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

∀x∄y, Inscrito(x, y), donde x es un estudiante de Champlain College e y es un título

Ninguna de las alternativas es correcta.

-------------------------------------------------- -------------------------------------------------- -----------

Para las siguientes fórmulas/proposiciones, indique la opción que corresponde a su negación: ∀x∀y, Inscrito(x, y), donde x es estudiante de Champlain College e y es un título

∄x∀y, ∼Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

∄y∀x, ∼Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

∄x∀y, ∼Matriculado(x, y) ∨ ∄y∀x, ∼Matriculado(x, y), donde x es un estudiante de Champlain College e y es un título

Ninguna de las alternativas es correcta.

Todas las alternativas son correctas.

-------------------------------------------------- -------------------------------------------------- -----------

Determinar V ( ∀ pags , ∀ q , ( pags ∨ q ) ↔ ( ∼ pags ∧ ∼ q ) )

Verdadero

FALSO

Imposible de determinar

-------------------------------------------------- -------------------------------------------------- -----------

Determine V ( ∃ x , ∀ y , x + y = y ), donde x e y son números.

Verdadero

FALSO

Imposible de Determinar