Please enable JavaScript.

Coggle requires JavaScript to display documents.

LÓGICA DE PRIMER ORDEN - Coggle Diagram

- - - - Conjunto de tuplas (colección de objetos colocados en un orden fijo que se escriben entre paréntesis angulares) de objetos que están relacionados
  - - - De constante
        
        Representan objetos
      - De predicado
        
        Representan relaciones
        
        Aridad
        
        Número de argumentos
      - De función
        
        Representan funciones
  - - - Para todo x...
      - x es una variable
    - - Enunciados sobre algún objeto del universo, sin nombrarlo
      - Para algún x...
      - Existe un x tal que...
    - - Se escriben cuantificadores seguidos, el orden en el que se escriben importa
- - - - Se responde con una sustitución o lista de ligaduras