Clasicos
Marxistas
 
PORTADA   |  QUIENES SOMOS   |  CONTACTENOS   |  FORUM  |  MUSICA   Hoy es : Viernes 21 Julio 2017
marx - marxismo leninismo - radio latinos - radio amauta
INDICE ALFABETICO
A
B
C
CH
D
E
F
G
H
I
J
K
L
LL
M
N
Ñ
O
P
Q
R
S
T
U
V
W
X
Y
Z
Cabanis - Pierre Jean George (1757-1808)
Cabet - Étienne (1788-1856)
Cálculo
Cálculo de predicados
Cálculo proposicional
Calidad y Cantidad
Juan Calvino (1509-1564)
Cambio
Cambridge - Escuela de
10  Campanella - Tommaso (1568-1639)
11  Camus - Albert (1913-1960)
12  Capitalismo
13  Capitalismo de Estado y Capitalismo Monopolista
14  Carácter
15  Carácter concreto de la verdad
16  Carácter, en Arte
17  Carácter no contradictorio
18  Carácter no contradictorio de la teoría axiomatica
19  Carácter popular del arte
20  Carlyle - Thomas (1795-1881)
21  Carnap - Rudolf (n. en 1891)
22  Carnéades de Cirene (214-129 a.n.e.)
23  Cartesianismo
24  Cassirer - Ernst (1874-1945)
25  Catarsis
26  Categorías
27  Catolicismo
28  Causalidad
29  Célula
30  Cerebro
31  Consolar
32  Caudillo
33  Comer
34  Cuba
35  Clavo
36  Conciencia
37  Cconsejo
38  Carlos Marx
39  Calma
40  Copiar
41  Carlyle - Thomas (1795-1881)
42  Carnap - Rudolf (n. en 1891)


Es una ampliación del cálculo proposicional mediante la formalización de las inferencias que se basan en la estructura interna de las proposiciones. Sobre este particular, uno de los conceptos fundamentales del cálculo de predicados es el de predicado de una o varias objeto-variables: P (X1 ... Xn), donde P es predicativa y X1 ... Xn, son objeto-variables. En el cálculo de predicados simples (de primer grado), los predicados de objeto-variables se conectan con los cuantificadores (de generalidad: ¶ y o de existencia: Ñ). La axiomática del cálculo de predicados se obtiene de los axiomas y reglas de inferencia del cálculo preposicional añadiendo dos axiomas: ¶x P(x) § P(y), P(y) § Ñx P(x) y las siguientes reglas de inferencia: si se ha inferido la fórmula C § D(x), entonces se infiere C § ¶x D(x); si se ha inferido la fórmula D(x) § C, entonces se infiere Ñx D(x) § C. El calculo de predicados es no-contradictorio y completo en el sentido de que en él puede inferirse toda fórmula de identidad-veracidad. El problema de la decidibilidad es insoluble (como lo ha demostrado Alonzo Church). La conexión mediante cuantificadores no sólo de objeto-variables, sino, además, de predicados variables, da un cálculo de predicados ampliado (de segundo grado).