Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
La proposición es una relación enunciativa1 entre términos, pero cualquier relación entre términos no
constituye una proposición. En la lógica clásica se considera al término como la expresión del concepto2.
Toda proposición enlaza o relaciona conceptos aislados.
Estructura de la proposición
Cuantificador Sujeto Cópula Predicado
Fija la cantidad, Es el término del cual Enlaza dos términos, Es el término que se
todos o algunos se dice algo une (afirma) o separa atribuye o predica de
(niega) la relación un sujeto
1
Enunciativa quiere decir declarativa (afirma o niega).
2
La palabra “concepto”, en el sentido etimológico, significa receptáculo; se deriva, a su vez, del verbo latino concipio, que
connota “hacer caber”, “recoger”, “recibir”, “abarcar con la mente”. Los conceptos expresan los caracteres comunes a diversas
clases de seres.
Relaciones entre proposiciones EQUIMATERIALES (A, E, I, O).
Contrarias Proposiciones universales opuestas en calidad.
Opuestas
Subcontrarias Proposiciones particulares opuestas en calidad en sentido
estricto
Contradictorias Proposiciones opuestas en cantidad y en calidad.
“Opuestas”
Subalternas Proposiciones de igual calidad y opuestas en cantidad en sentido
amplio
A CONTRARIAS E
SUBALTERNACIÓN
SUBALTERNACIÓN
RELACIÓN DE
RELACIÓN DE
CONTRADICTORIAS
I SUBCONTRARIAS O
Extensión de términos
Totalmente distribuido significa que todos los elementos del concepto están considerados.
Parcialmente distribuido significa que sólo una parte de los elementos del concepto están considerados.
Inferencia inmediata
Por conversión E Ningún S es P
E Ningún P es S
Conversión
Simple I Algún S es P
Forma general: I Algún P es S
S es P convertiente
P es S conversa Conversión A Todo S es P
por limitación I Algún P es S
Por oposición
Juicio particular sub-contrario contradictorio subalternante
Todo S es P Ningún S es P
Ningún S es no P Todo S es no P
Por complementación
Algún S es P Algún S no es P
Algún S no es no P Algún S es no P
Todo S es P Ningún S es P
Por contraposición Ningún S es no P Todo S es no P
Ningún no P es S Algún no P es S
Premisa a inferir
Paso 1 Complementaria
Algún S es P Algún S no es P
Paso 2 Conversa de la complementaria
Algún S no es no P Algún S es no P
Premisa Contrapositiva (parcial)
No hay Algún no P es S
Interfieren siempre dos premisas y una conclusión, contiene tres conceptos o términos:
término mayor (P), término medio (M), y término menor (S).
Premisa Mayor A E A E E A E A A I A E O E A A I E E
Premisa menor A A I I A E I O A A I A A I A E A A I
Conclusión A E I O E E O O I I I O O O I E I O O
HIPOTÉTICO DISYUNTIVO
Otros silogismos
ENTIMEMA POLISILOGISMO SORITES
implicación p → q
implicación q → p
Si p entonces q
Si p entonces q
Si q entonces p
Negación de la
Negación de la
Negación de la
Negación de la
Bi-condicional
Contradicción
Negación del
Negación del
Implicación
Implicación
Conjunción
Disyunción
Disyunción
conjunción
Tautología
disyunción
Variable p
Variable q
variable q
variable p
exclusiva
poq
pyq
p q
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
n
En general el número de filas de una tabla de verdad responde a la fórmula 2 donde la base (2) representa al
número de valores de verdad y el exponente (n) el número de variables distintas que intervienen en la fórmula. Si
en lugar de dos variables hubiera en juego, por ejemplo, tres, el número de combinaciones posibles de la tabla
3
seria ocho (2 )
Equivalencias de las operaciones básicas
Equivalencia de leyes
p v (p ^ q) = p A»(A«B) = A a + (a · b) = a
Absorción
p ^ (p v q) = p A«(A»B) = A a · (a + b) = a
pvp=p A»A = A a+a=a
Idempotencia
q ^q = q B«B = B b·b=b
pvF=p p ^V = q A»f = A A«U = A a+0=a a·1=a
Identidad
pvV=V p ^F = F A»U = U A«f = f a+1=1 a·0=0
c c
p v -p = V p ^ -p = F A»A = U A«A = f a + (ā) = 1 a · (ā) = 0
Complemento c c
-(-p) = p -V = F, -F = V (A ) = A U’= f, f’ = U (ā) = a
c c c
-( p v q) = -p ^ -q (A»B) = A «B (a + b) = a · b
c c c
Ley de Morgan -( p ^ q) = - p v -q (A«B) = A »B
c (a · b) = a + b
A – B = A«B
Nociones de lógica de predicados
Los sujetos de la oraciones se simbolizan con letras minúsculas y los predicados se con letras
mayúsculas.
Ejemplos:
Gustavo es estudiante. se simboliza E (g)
3 es menor que 8. se simboliza 3M8 o también M (t, o)
Si Luis estudia entonces María juega. se simboliza E (l) → M (j)
Todo perro es mamífero ∀ (x) / P(x) → M(x) para todo x tal que x es perro entonces x es mamífero.
Algún número es par ∃ (x) / N(x) ^ P(x) existe por lo menos un x tal que x es número y es par.
Ningún gato ladra ∀ (x) / G(x) → ¬L(x) para todo x tal que x es gato entonces x no ladra.
Algún número no es par ∃ (x) / N(x) ^ ¬P(x) existe por lo menos un x tal que x es número y no es par.
NOTA: obsérvese que en los juicios universales se usa el conector de implicación y en los juicios particulares se
usa el conector de la conjunción.