tema 1 MD

Indica si las expresiones lógicas: "Si 1 + 1 = 3, entonces 2 + 2 = 4", "Si los cerdos vuelan, entonces 2 X 2 = 5" y "Si 1 - 2 = 1, entonces estoy en el examen de Algebra", son: Falsas. No son expresiones lógicas. Verdaderas.

Las expresiones lógicas : p ∨ q y ¬p → q, son: Equivalentes. Contrarrecíprocas. Tautologías.

¿Cuál de estas herramientas de matemática discreta las usas con las estructuras de Recuento?. Las tres. El triángulo de Tartaglia. Todas son la misma herramienta. Estas herramientas no están relacionadas con el recuento. El triángulo de Pascal. La Identidad de Pascal.

De dónde proviene la validez de la Inducción Matemática como técnica de demostración. De la propiedad del buen orden. De la recursividad. De la lógica de predicados.

Diga cuál de las siguientes expresiones se corresponden con una función Booleana, F: B → B dada por la Tabla de Verdad mostrada: z' + xy. xy + z. x + y + z. La TV no se corresponde con una función booleana.

Elija la respuesta correcta. Para demostrar un teorema, un lema, hay distintos métodos de demostración. Las demostraciones "vacuas", "triviales" y "por reducción al absurdo. Las tres son el mismo método de demostración Ayu. No son demostraciones Asistencia. Cada una de ellas son un tipo de demostración diferente. Las vacuas y las triviales se refieren al mismo método de demostración.

Indique cuál de las expresiones lógicas siguientes se corresponde con la sentencia: “Cada niño tiene exactamente un juguete que es el preferido. Ɐx ꓱy (B(x, y) ∧ Ɐz ((z ≠ y) → ¬ B(x, z))). Ɐx ꓱy ((F(x) ∧ P(x)) → M(x, y)). Ninguna de las dadas. La a. o la c. según la formulación realizada de la sentencia.

A. Todos los estudiantes de la clase entienden lógica. Pedro es un estudiante de la clase. Por tanto, Pedro entiende lógica. B. Todos los estudiantes del GCID cursan matemática discreta. Sofia cursa matemática discreta. Por tanto, Sofía es estudiante de GCID. Indique, la respuesta correcta respecto a los argumentos previos A y B. B Verdadera. B Falsa. A y B Falsas. A y B Verdaderas. A Falsa.

Identifica las cuantificaciones falsas: ∀ x R (x^2 ≠ -1); x R (x^2 = x). ∀ x Z (x^2 > 0); x Z (x^2 = 2).

Sea H(x) “x está feliz”. Dada la premisa x H(x) concluimos que H(Lola), por tanto “Lola está feliz”. ∃ Indicar si esta conclusión es verdadera o falsa. Verdadero. Falso.

sea A una expresion y sea x una variable. si deseamos indicar que A es verdadero para todos los posibles valores de x. estamos usando un: cuantificador universal. unificador. equivalencia entre x y A. cuantificador existencial.