Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Comenzaremos definiendo a la Lógica formal como “la ciencia de los principios de la validez formal
de la inferencia. Evidentemente, es preciso explicar esta definición término a término” (Deaño, 2009,
pág. 36).
Validez formal. Puesto que lo que constituye un razonamiento es la relación que en él se da entre unos
enunciados que se toman como premisas y otro enunciado que resulta como conclusión, parece
razonable dividir los razonamientos según la índole de esa relación. Según la índole de esa relación los
razonamientos se dividen en razonamientos válidos y razonamientos no válidos. Y cuando aquí
decimos 'razonamiento válido' queremos decir, en un sentido que explicaremos pronto, 'razonamiento
formalmente válido'.
No hay razonamientos válidos que tengan premisas verdaderas y conclusión falsa. Y ello porque
precisamente se dice que un razonamiento es válido cuando, si sus premisas son verdaderas,
necesariamente su conclusión lo es también.
Un razonamiento es válido cuando es imposible que, siendo verdaderas sus premisas, sea falsa su
conclusión.
Todo razonamiento tiene una forma y un contenido; una estructura, y un asunto de que trata. Los dos
razonamientos siguientes:
Si todos los esquizofrénicos son psicóticos y todos los psicóticos son personas desdichadas,
entonces los esquizofrénicos son personas desdichadas.
y
Si todos los santos son creyentes y todos los creyentes se muestran reacios a la desamortización,
entonces todos los santos se muestran reacios a la desamortización.
Son, obviamente, distintos por su contenido. Su forma, sin embargo, es la misma. Esa forma,
toscamente representada, sería, en ambos casos, ésta:
Si todos los... son... y todos los... son..., entonces todos los... son...,
O, mejor: Si todos los a son b y todos los b son e, entonces todos los a son e,
Enunciados y conectivas: El análisis del lenguaje en que se basa la lógica de proposiciones divide el
lenguaje -y ya es simplificar- en dos tipos de elementos:
Ejemplo:
Cuando se hubieren acabado los mil años, será Satanás soltado de su prisión y saldrá a extraviar a las
naciones que moran en los cuatro ángulos de la tierra, a Gog y a Magog, y reunirlos para la guerra.
(Ap. 20, 7-8)
El texto entero constituye una única proposición compuesta. Pero dentro de ella distinguiríamos, por
una parte, una primera proposición, simple o atómica que sería 'se hubieren acabado los mil años'. Y
una segunda proposición compuesta de tres proposiciones enlazadas por la conjunción 'y'.
Pág. 53.
Proposiciones Simples: es un enunciado que puede ser Verdadero (1) ó Falso (0).
Ejemplos: 3+6=9(V), 5-2=4(F), Juan va al Centro Comercial (V ó F),
También hay enunciados que no son proposiciones, tales como las exclamaciones o interrogativas.
Las proposiciones se identifican a partir de la letra “p” es decir una proposición “p” no puede ser otra
distinta de “p”, lo que se llama Principio de Identidad. Las proposiciones entones se identifican con las
letras “p, q, r, s…” sucesivamente.
Ejemplo: “hoy es domingo”: se representa p, la negación de dicha proposición sería “hoy no es
domingo” se representa ¬p.
Proposiciones Complejas: Son proposiciones simples unidas por conectivas o enlaces tales como “y,
o, entonces, si y sólo si”.
y: ˄
o: ˅
entonces: →
si y sólo si: ↔
Ejemplos
p: “gano el año”
q: “paso a la universidad”
p → q
p ˄ q
Nota: En toda proposición debe existir un término y un predicado. En lógica filosófica un término es
la expresión gráfica de un concepto, en este caso Carlos viene siendo la expresión gráfica del concepto
Hombre.
término predicado
Puede asignarle una letra cualquiera pero para mantener un orden sucesivo de las ideas es mejor
comenzar identificándolas desde la p.
Conectivas
Conjunción ˄ Son dos proposiciones simples unidas por el enlace conectivo “y”.
Ejemplos:
p: Juan va al parque.
q: Juan va al cine.
i El niño va al parque y luego va al cine, (si ambas son verdaderas el resultado es verdadero)
ii El niño va al parque y no va al cine, (si una de las proposiciones es falsa así su resultado)
iii El niño no va al parque y va al cine, (si una de las proposiciones es falsa así su resultado)
iv El niño no va al parque ni al cine, (si ambas proposiciones son falsas así su resultado)
(i) p˄q
(ii) p ˄ ¬q
(iii) ¬p ˄ q
(iv) ¬p ˄¬q
p q p˄q
1 1 1
1 0 0
0 1 0
0 0 0
Para modo que su resultado sea verdadero deben serlo también ambas proposiciones, haciendo el
énfasis en la conectiva que las une. Hay que tener especial cuidado en el orden lógico se comienza de
izquierda a derecha asignando “1” como valor V y “0” como valor Falso.
La Disyunción es la unión de dos proposiciones simples a través del enlace “ó” y se representa con el
signo conectivo “˅”, de la siguiente manera p ˅ q y se lee p ó q
p: Voy al colegio.
q: Voy a la cancha sintética.
p q p˅q
1 1 1
1 0 1
0 1 1
0 0 0
El condicional es la proposición compuesta que se origina a partir del enlace si … entonces. En lógica
filosófica y en matemáticas se representa con el signo →. Donde una es consecuencia de la otra.
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1
Sólo es verdadero si la consecuencia es verdadera, o en que las dos proposiciones sean falsas. Falso
cuando la consecuencia no se cumpla.
Bi-condicional: Es la proposición que se forma a través del enlace lógico si y solo sí. Si se cumple A
necesariamente debe cumplirse B, y viceversa. Se representa con el signo ↔.
Ejemplo:
P: un triángulo es equilátero.
q: un triángulo es equiángulo.
p q p↔q
1 1 1
1 0 0
0 1 1
0 0 1
https://www.youtube.com/watch?v=GIR99PwRZUg