Dr. Discreto Riveros

¿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?