19/02/2020, 13:22:18 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Cómo formalizar en LPO  (Leído 994 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Antoniio
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 258


Ver Perfil
« : 31/10/2016, 22:03:36 »

Hola, buenas tardes. Quisiera saber cómo formalizo en "LPO" (lenguaje de primer orden) los siguientes ejemplos:

1) "Algunos estudiantes cursan inglés y lógica y todos cursan álgebra"
2) "No todo el mundo es vegetariano y todo el mundo ama a alguien"
3) "A nadie le gustan los profesores que exigen mucha tarea a menos que todos los estudiantes sean aplicados"

Debo realizar 10, pero creo que si entiendo cómo hacer esos podré hacer el resto por mi cuenta, gracias de antemano !!
Saludos.

EDITO:
Ya pude hacerlos, saludos !!
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!