NOCIONES INTRODUCTORIAS A LA LÓGICA FORMAL

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).

Inferencia. Nos permitiremos considerar el término 'inferencia' como sinónimo de 'razonamiento' o

'argumentación'. Todo razonamiento es pensamiento, pero la inversa no es verdadera: no todo acto de
pensamiento consiste en razonar.

Lo específico, por tanto, de un razonamiento o inferencia es que consiste en derivar una

conclusión a partir de unas premisas. Eso es razonar. Recordar, por ejemplo, o imaginar son también
formas de pensamiento, pero no formas de razonamiento. Es menester distinguir entre el razonamiento
como actividad de un sujeto -el acto de razonar- y el razonamiento en cuanto producto o resultado de
esa actividad; este último vendría siendo el objeto de la lógica.

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'.

Ver los ejemplos y ejercicios de la página 37 y 38.

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.

Sin embargo la validez de un razonamiento es independiente de la verdad o falsedad de sus premisas y

su conclusió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,

Lo esencial en todo razonamiento formalmente válido es la relación de necesidad que se establece

entre premisas y conclusión, de tal modo que la verdad de las primeras acarrea inevitablemente la
verdad de la segunda.

LA LÓGICA DE LOS ENUNCIADOS

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:

- De una partil, oraciones, frases enteras.

- De otra parte, conjunciones¸ -en un sentido lógico del término-, partículas que sirven para enlazar
oraciones y formar oraciones compuestas a partir de oraciones simples.

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)

Desde el análisis lógico quedaría reducida a: Cuando [entonces]…y…y

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.

EXPLICACIÓN DE CADA UNO DE LOS TÉRMINOS EN LÓGICA

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”

“Si gano el año entonces me voy de vacaciones”

p → q

“Voy al colegio a estudiar y llevo mis cuadernos para trabajar en clase”

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.

“Carlos está en el salón”

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)

Se representaría simbólicamente de la siguiente manera:

(i) p˄q
(ii) p ˄ ¬q
(iii) ¬p ˄ q
 (iv) ¬p ˄¬q

Su tabla de verdad sería:

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

Juan le dice a la mama: “Voy al colegio o voy a la cancha sintética”.

p: Voy al colegio.
q: Voy a la cancha sintética.

(i) Juan fue al colegio, el niño fue a la cancha sintética (Verdadero)

(ii) Juan fue al colegio, pero no fue a piscina (Verdadero)
(iii) Juan no fue al colegio, pero si fue a la piscina (Verdadero)
(iv) Juan no fue al colegio, ni a la piscina (Falso)

Su tabla de verdad sería:

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.

El papa le dice a Juan: Si ganas el año te compro la moto. Se representa simbólicamente p → q y se

lee si p entonces q.

p. Juan gana el año.

q. el papá le compra una moto.
 (i) Juan gano el año entonces el papá le compro la moto.
(ii) Juan ganó el año, el papá no compró la bicicleta.
(iii) Juan no ganó el año, el papá le compró la bicicleta.
(iv) Juan no ganó el año, entonces el padre no le compró la bicicleta.

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.

(i) Un triángulo es equilátero si y solo si es equiángulo.

(ii) Un triángulo es equilátero si y sólo sí no es equiángulo.
(iii) Un triángulo no es equilátero si y sólo si es equiángulo.
(iv) Un triángulo no es equilátero si y sólo si no es equiángulo.

Su tabla de verdad sería

p q p↔q
1 1 1
1 0 0
0 1 1
0 0 1

https://www.youtube.com/watch?v=GIR99PwRZUg

Como hacer una tabla de Verdad Compleja

https://www.youtube.com/watch?v=a5cEaETtTNo&t=2s

Proposiciones lógicas y operaciones lógicas en tablas de Verdad

https://www.youtube.com/watch?v=SUykzb4RXkA&t=441s
https://www.youtube.com/watch?v=4j0B_-vsuNg

«Todo lo que no es formalizable no está en el mundo»

¬p → ¬q