Created at 8 months 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

Dr. Discreto Riveros

Preview Dr. Discreto Riveros

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?

Other GPTs you may like