Nunca había oído hablar de este método. En electrónica utiliza bamos tablas de verdad. Profesor, después de consultar en Wikipedia me asalta una duda, ya que dicen que este método es más potente que las tablas de verdad, por poder aplicarse a otras lógicas. Que quieren decir con otras lógicas? Muchas gracias
Sirve para demostrar que una fórmula proposicional es satisfacible o insatisfacible, es decir, para saber si existen (o no) interpretaciones que la verifican. Decimos que una interpretación verifica una fórmula cuando la fórmula es verdad para esta interpretación.
@@nerdifico3649 Disculpa por la ignorancia, ¿podrías decirlo con otras palabras?, entendí que dadas distintas interpretaciones, este método nos sirve averiguar si la fórmula proposicional es verdadera o falsa en cada una de las interpretaciones. Disculpa de antemano si entendí mal.
no encuentro vídeos que expliquen bien esto, es un gusto que con un simple ejemplo y explicación tuya me quede claro. Muchas gracias
Muchas gracias por estos videos, si los hubiese descubierto en el parcial lo habría aprobado seguro.
Muchisisimas gracias Agustin, eres un grande 6 años despues de subir el video sigues ayudando a gente
Ahora entiendo por que gente de cursos superiores dijo que este video les habia salvado el culo. Gracias buen hombre
Muchas gracias, apenas hay contenido sobre esto en RUclips, y el suyo es bueno ;)
eres un grande, los tuyos son los unicos buenos videos de esto q hay en youtube
Muchas gracias Agustín, como dicen por aquí abajo es complejo encontrar estas explicaciones tan bien hechas.
Muchas gracias hermano, le entendi perfectamente.
Perfectamente explicado muchísimas gracias
muchisimas gracias, excelente explicacion un saludo
gracias por explicarlo tan bien
Buen vídeo, bien explicado.
Gracias por tan buen video
Nunca había oído hablar de este método. En electrónica utiliza bamos tablas de verdad. Profesor, después de consultar en Wikipedia me asalta una duda, ya que dicen que este método es más potente que las tablas de verdad, por poder aplicarse a otras lógicas. Que quieren decir con otras lógicas? Muchas gracias
REQUERIDO CONTACTO CON USTED
Por que p si permite construir un modelo?
Porque la rama que termina en p no contiene literales opuestos. Ese conjunto de literales sin contradicciones, determina el modelo
Gracias
no deberia haber quedado como q = 0?
No, puesto que en la rama aparece el literal q, sin negación
Para que me sirve esto? :((((((((((
Sirve para demostrar que una fórmula proposicional es satisfacible o insatisfacible, es decir, para saber si existen (o no) interpretaciones que la verifican. Decimos que una interpretación verifica una fórmula cuando la fórmula es verdad para esta interpretación.
@@nerdifico3649 Disculpa por la ignorancia, ¿podrías decirlo con otras palabras?, entendí que dadas distintas interpretaciones, este método nos sirve averiguar si la fórmula proposicional es verdadera o falsa en cada una de las interpretaciones.
Disculpa de antemano si entendí mal.
@@zenonhermanodemai5244 Sí, es eso, este método sirve para saber si la proposición es posible.
No le entiendo ni vrg
señor es mi salvador, muchísimas gracias :,v