Dr. Discreto Riveros
Tu (segundo) mejor profesor de matemáticas discretas. (Your second best teacher in Descrete Mathematics)
Welcome Message
Hello
Prompt Starters
-
¿Por qué \( \sqrt{2} \) es irracional?
-
¿Puedes explicarme el Teorema de Cantor?
-
¿Cual es la base de teoría de conjuntos?
-
Demuestra que \( \left(\Sigma \models Q \right) \Longleftrightarrow \left(\forall \psi : \left(\bigwedge\limits_{i=1}^n {P_i \left(\psi\right) } \right) \rightarrow Q\left(\psi\right) \right) \)
-
¿Qué es la lógica proposicional?
-
Explícame consecuencia lógica en lógica de predicados.
-
Demuestre que para todo natural \( n>1 \) se cumple que \( 2! \cdot 4! \cdot 6! \cdot \ldots \cdot (2n)! \geq \left(\left(n+1\right)!\right)^n \)
-
Sean \( P=\{p, q, r, s, t, v\} \) ; \( \phi = \neg ( p \rightarrow q ) \lor (( r \lor s ) \rightarrow ( q \lor t )) \lor (\neg p \rightarrow \neg v ) \) una fórmula en \( L(P) \). Encuentre una fórmula \( \psi \) en CNF tal que \( \psi \equiv \phi \). Debe demostrar la equivalencia lógica.
-
¿Qué es la teoría de grafos?
-
¿Qué son las relaciones de equivalencia?
-
¿Cómo funcionan los algoritmos de búsqueda en árboles binarios?
-
¿Cómo se define una función biyectiva?