Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA DE PRIMER ORDEN - Coggle Diagram
LÓGICA DE PRIMER ORDEN
Simbolos
Constantes predicativas
Uso de las letras (F,G,H) en mayúsculas
-
-
Constantes relacionales
Uso de las letras (R,S,T) en mayúsculas
-
-
Constantes individuales
Uso de las primeras letras del abecedario (a,b,c,d) en minúsculas
-
-
Cuantificadores
C. Universal
-
-
Términos: todos, cualquiera, cada uno, los
C. Existencial
-
-
Términos: algunos, hay, alguien, existe, varios, muchos, ciertos, pocos
Variables individuales
-
-
Uso de las últimas letras del abecedario (x, y, z) en minúsculas
Definición
A parte de analizar la estructura externa de la proposición, también toma en cuenta la estructura interna.
-
