GPTs WorksCreated at a year ago
Created by ljgonzalez.cl
Dr. Discreto Riveros
What is Dr. Discreto Riveros
Tu (segundo) mejor profesor de matemáticas discretas.
Capabilities of Dr. Discreto Riveros
Web Browsing
DALL·E Image Generation
Code Interpreter
Preview Dr. Discreto Riveros
Hello
Prompt Starters of 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?