Recursos y más /

Logica de primer orden

Participa en el tema Logica de primer orden en el foro Recursos y más.
Muchachos: Alguno sabe como escribir en logica de primer (con "para todo" y "existe") orden ...

Buscar en este tema:
 
  •  
    #1 Logica de primer orden
    Muchachos:

    Alguno sabe como escribir en logica de primer (con "para todo" y "existe") orden los siguientes enunciados?

    Este lo hice bien -> Todos los miembros del grupo se aman mutuamente

    "para todo" (x,y) Ama(x,y) y ama(y,x)

    Pero estos no me salen:

    a) Todos los periodistas criticaron a José en uno o más de sus discursos
    b) Todos los reproductores de DVD reproducen Zona1 menos los de marca Acme
    c) Ayudo solo a los que se ayudan a si mismos.

    Al que me pueda dar una mano se los agradezco.
    +
     
    0
    Me gusta
     
    | Más
  • #2 Re: Logica de primer orden

    (para todo p periodista) criticò(p, jose) --aca no importa cuantas veces haya criticado
    (para todo d DVD)(reproduce(d, zona1) ^ ¬reproduce(d, Acme)
    el c no se me ocurre nada :s
    (existe x, y) seAyudanAsiMismo(x,y) => true ?
    Me gusta este mensaje


Estadísticas del tema
  • 1 RESPUESTA
  • 85 VISTAS
  • 2 USUARIOS RESPONDIERON
 
Ir arriba
Contacto | Acerca de | Ayuda | Términos Legales | privacidad | Pautas de convivencia | Mapa de los foros | TrabajÁ con nosotros
©2008 Psicofxp.com S.A. - Todos los derechos reservados
Certifica IAB