Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes de Logica
Apuntes de Logica
Se representa con el símbolo ¬ y produce fórmulas del tipo “¬p”, “no es p”, “no es cierto que p”, “es
imposible que p”, etc. El negador también puede simbolizar la idea contraria a un enunciado, el cese de
una actividad o la inexistencia de algo. Ejemplos:
p p
1 0
0 1
Conjuntor.
El conjuntor se representa con el símbolo ∧ y da lugar a fórmulas del tipo “ p ∧ q”, “p y q”. Por defini-
ción el conjuntor es aquella conectiva que da lugar a fórmulas complejas que son verdaderas única-
mente cuando son verdaderas las dos proposiciones que las componen. Se representa con la siguiente
tabla de verdad:
p q p∧q
1 1 1
1 0 0
0 1 0
0 0 0
El conjuntor sirve para traducir las conjunciones copulativas (y, e, ni) y adversativas (pero, aunque,
sin embargo), así como adverbios y locuciones que poseen un significado equivalente (además, tam-
bién, no obstante, asimismo, así como, etc.).
Veamos algunos ejemplos de oraciones que se formalizan usando el conjuntor:
“Estudié y aprobé” = p ∧ q
“Estudié, pero no aprobé” = p ∧¬q
“Estudié; no obstante, no aprobé” = p ∧¬q
“Este veranó iré a la playa. Además, estudiaré Filosofía” = p ∧ q
“En las enumeraciones, las comas se simbolizan con el conjuntor”.
“Estudié, me copié, le hice la pelota al profesor y, sin embargo, suspendí” = p∧q∧r∧¬s
“Llegué, vi, vencí” = p∧q∧r
“Ni has atendido en clase ni has estudiado en casa” (“No has atendido en clase y no has estudiado
en casa”)= ¬p∧¬q
“No es cierto que mi profesor de Filosofía sepa hablar en ruso y en chino mandarín” (como esta-
mos negando que ambas cosas sean ciertas a la vez, aunque una de ellas sea verdadera, utilizamos
el negador delante de una conjunción encerrada entre paréntesis) = ¬(p ∧ q)
Disyuntor.
El disyuntor se representa con el símbolo”, y da lugar a fórmulas del tipo “p ∨ q”, que se lee “p o q”.
Por definición, el disyuntor es aquella conectiva que da lugar a fórmulas complejas que son verdade-
ras cuando al menos una de las proposiciones que las componen es verdadera. Únicamente una dis-
yunción es falsa cuando son falsas las proposiciones que la componen (por eso en lógica se le conoce
como disyunción inclusiva, porque la verdad de uno de los enunciados que la componen no excluye la
del otro. Esto se representa con la siguiente tabla:
p q p∨q
1 1 1
1 0 1
0 1 1
0 0 0
El disyuntor traduce oraciones del lenguaje natural en las que se emplean las conjunciones disyuntivas
o, u, ya, bien o cualquier locución equivalente.
Este verano iré a la playa o viajaré por el centro de España = p ∨ q
O bien escribes con mucho cuidado, o bien utilizas cinta correctora = p ∨ q
Pueden llamarme a casa o bien al trabajo = p ∨ q
En el menú tomar carne o pescado, pero no ambos a la vez = p ∨ q ∧ ¬(p ∧ q). O bien p w q (w
es el símbolo de la disyunción exclusiva, pero no lo estudiaremos)
Condicional o implicador.
El condicional o implicador se representa con el símbolo → y da lugar a expresiones del tipo pq, que
se leen “Si p, entonces q” o “p implica q”. Por definición el condicional es una conectiva que da lugar a
fórmulas complejas que son verdaderas en todos los casos menos cuando siendo verdadero el antece-
dente (antes de la flecha) es falso el consecuente.
p q p→q
1 1 1
1 0 1
0 1 0
0 0 1
El implicador traduce las oraciones subordinadas condicionales- Hay que tener en cuenta que, sea cual
sea su posición en la oración del lenguaje natural, en la simbolización lógica el antecedente va siempre
antes de la conectiva (“antes de la flecha”).
Si llueve el sábado, no podremos jugar al tenis = p→¬q
Como no ganemos el próximo partido, descenderemos de categoría = ¬p→q
No aprobarás si sigues haciendo el vago = p→¬q (hacer el vago = p).
Podrás salir a condición de que hagas la tarea = p→q
Te quedarás en casa a no ser que termines la tarea = ¬p → q (Si no terminas la tarea, te que-
darás en casa)
No saldrás de casa a menos que termines la tarea = ¬p→¬q (Si no terminas la tarea, no saldrás
de casa)
Le escucharé siempre que me escuche él también = p→q
También simbolizamos con el implicador oraciones que no son condicionales desde un punto de vista
sintáctico pero que poseen un significado lógico equivalente al de una oración condicional:
Dime qué problema tienes y te lo solucionaré (“Si me dices qué problema tienes, te lo solucio-
naré”) = p→q
Teniendo salud, no hay que preocuparse por lo demás (“Si tienes salud, no hay que preocupar-
se por lo demás”) = p→¬q
El bicondicional o coimplicador
Se representa con el símbolo y da lugar a fórmulas del tipo p↔q ( “p coimplica a q”, o también “úni-
camente si p entonces q) . Las proposiciones complejas formadas por un bicondicional son verdaderas
cuando coinciden los valores de verdad de las proposiciones que las componen.
P q p↔q
1 1 1
1 0 0
0 1 0
0 0 1
El bicondicional traduce aquellas proposiciones condicionales en las que se establece que solo hay una
condición en la que se da el consecuente. Son oraciones del tipo “solo en el caso de que”, “únicamente
si”, “solo si”, “si y solo si”, o aquellas en las que se utilizan las expresiones “significa” o “equivale a”. En
estas proposiciones, el orden de antecedente y consecuente es reversible
Haremos el examen únicamente si asisten todos los alumnos = p↔q
Un sistema de ecuaciones lineales es compatible y determinado si y solo si tiene una única so-
lución = p ∧ q ↔ r
Que dos rectas son paralelas significa que no tienen ningún punto en común = p↔q
En las dos oraciones anteriores, el orden lógico de antecedente y consecuente se puede cambiar: si se
hace el examen es porque han asistido todos los alumnos; si un sistema tiene una sola solución, enton-
ces es compatible y determinado; si dos rectas no tienen un punto en común, entonces son paralelas.
Hay casos en que una oración puede interpretarse al mismo tiempo como condicional y bicondicional.
Sin embargo, solo usaremos el bicondicional o implicador cuando quede claro que el antecedente es la
única condición posible en la que se puede dar lo que se afirma en el consecuente.
“Te traeré flores si paso por Valencia” = p→q (no se excluye expresamente la posibilidad de
comprar flores en otro lugar).
“Te traeré flores solamente en el caso de que pase por Valencia” = p↔q (en esta última oración
se afirma explícitamente que es la única condición posible).
2.3. Los símbolos auxiliares: Paréntesis ( ) y corchetes [ ].
Al igual que en matemáticas estos símbolos marcan la prioridad de una conectiva sobre otra. Cuando
en una fórmula hay varias conectivas tienen que quedar claro cuál de ellas es la conectiva dominante:
siempre será aquella que quede fuera del paréntesis.
Por ejemplo:
O estudias y atiendes en clase, o suspenderás = (p ∧ q) ∨ r . Tiene prioridad el disyuntor.
Este verano iré a Madrid y visitaré el museo del Prado o el estadio Bernabéu = p ∧ (q ∨ r) Tie-
ne prioridad el conjuntor
Sin embargo existen excepciones por las llamadas reglas de economía de paréntesis. Estas leyes son
las siguientes:
El implicador y coimplicador tienen prioridad sobre el resto de las conectivas; esto quiere de-
cir que no es necesario marcar con paréntesis que se trata de la conectiva dominante. P→ q∨ r
es lo mismo que (p→ q) ∨ r
En fórmulas en las que se repite la misma conectiva si se trata de una conjunción o de una dis-
yunción no es necesario marcar la prioridad con paréntesis: p ∧ q∧ r es lo mismo que (p ∧ q) ∧
r o que p ∧ (q∧ r).
—1. p ∨¬p
Análisis de la validez de un argumento por tablas de verdad (ver explicación y ejemplos en el libro de
texto).
EJERCICIOS
Podéis encontrar apuntes y ejercicios de lógica (muchos de ellos resueltos) en los siguientes enlaces.
https://iesmelendezval.educarex.es/index.php/el-rinc%C3%B3n-de-la-filosof%C3%ADa/el-rinc%C3%B3n-
de-la-l%C3%B3gica
http://ies.altair.getafe.educa.madrid.org/paginas/3143.html
http://educamejor.es/index.php?option=com_content&view=article&id=115:ejercicios-de-logica-
resueltos&catid=53:apuntes&Itemid=91
https://www.iesmarianapineda.net/images/pdf/filosofia/1_bachillerato/LOGICA_proposicional_curso_101
1.pdf
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxmaWxvY2FudHxneDoxOW
JmMTAzN2I5Yjg5YWFh
http://www.academia.edu/6161401/Filosof%C3%ADa_y_Ciudadan%C3%ADa_L%C3%B3gica_proposicional
_Ejercicios_resueltos
http://webs.ucm.es/info/pslogica/ejercicios1.pdf
Además, hay muchos vídeos con “tutoriales” o clases de lógica en YouTube. Los más recomendables son
los de los canales de Academia Usero, Julioprofe o Academia Virtual de Filosofía LAP.