Introducción a la Lógica de Proposiciones
Introducción a la Lógica de Proposiciones
LÓGICA DE
1. INTRODUCCIÓN.
2. ELEMENTOS DE LA LÓGICA DE PROPOSICIONES.
2.1. ELEMENTOS PRIMITIVOS.
2.1.1. VARIABLES PROPOSICIONALES.
2.1.2. CONECTORES.
2.1.3. SÍMBLOS AUXILIARES.
2.2. SIMBOLIZACIÓN DE FÓRMULAS Y RAZONAMIENTOS.
3. VALORES DE VERDAD DE LOS ENUNCIADOS: LAS TABLAS DE VERDAD.
4. TIPOS DE DEDUCCIÓN.
4.1. DEDUCCIÓN INDIRECTA O REDUCCIÓN AL ABSURDO.
4.2. DEDUCCIÓN DIRECTA O INFERENCIA.
4.2.1. REGLAS ELEMENTALES DE LA INFERENCIA.
4.2.2. REGLAS DERIVADAS DE LA INFERENCIA.
LAS FALACIAS
1. FALACIAS DE DISTRACCIÓN
1.1 Falso Dilema
1.2 Argumento desde la ignorancia (argumentum ad ignorantiam)
1.3 Bola de nieve o pendiente deslizante.
1.4 Cuestión compleja
2. RECURSO A MOTIVOS EN LUGAR DE A RAZONES
2.1 Recurso a la fuerza (argumentum ad baculum)
2.2 Recurso a la piedad (argumentum ad misericordiam)
2.3 Consecuencias (argumentum ad consequentiam)
2.4 Prejuicios
2.5 Popularidad (argumentum ad populum)
3. CAMBIO DE TEMA
3.1 Ataque a la persona (argumentum ad hominem)
3.2 Recurso a la Autoridad (argumentum ad verecundiam)
3.3 Autoridad anónima
3.4 Forma antes que contenido
4. FALACIAS INDUCTIVAS
4.1 Generalización abusiva
4.2 Muestra no representativa
4.3 Falsa analogía
4.4 Inducción indolente
4.5 Falacia de exclusión
Lógica de proposiciones -2-
1. INTRODUCCIÓN.
El término Lógica proviene de la palabra griega “LOGOS” que significa tanto palabra (diálogo,
monólogo…) como estudio o ciencia (biología, zoología…) y también hace referencia al propio acto de
razonar de una manera rigurosa y estricta. Los tres conceptos están íntimamente relacionados
entre sí. No obstante, cuando hablamos de la Lógica como disciplina académica nos estamos
refiriendo a una:
“Ciencia que estudia las reglas de validez formal (corrección o no corrección) de los
razonamientos”
Al ser la Lógica una ciencia formal, sólo se preocupa por la corrección y validez de los
razonamientos, no entra a valorar ni la verdad de sus contenidos ni, por supuesto, su valoración
moral. Este interés por crear un lenguaje formal que sólo se preocupe por establecer relaciones
rigurosas entre unos enunciados (premisas) para deducir necesariamente una conclusión, resulta
enormemente útil porque elimina del proceso racional muchos de los equívocos, imprecisiones,
inexactitudes, etc. que contaminan nuestro lenguaje natural.
Es muy importante tener en cuenta la diferencia entre lo que es la validez o corrección de
los enunciados y lo que es su verdad material, ya que a veces se pueden producir situaciones muy
Lógica de proposiciones -3-
curiosas como que existan razonamientos cuya estructura formal es correcta, pero cuyo contenido
material sea completamente falso, por ejemplo:
Todas las vacas hablan chino mandarín,
Tiburcia es una vaca…
Luego Tiburcia habla chino mandarín.
Este argumento es formalmente correcto, ya que la conclusión se deriva de manera necesaria
de las dos premisas anteriores, pero resulta obvio que su contenido material es completamente
absurdo.
Pero también podría ocurrir que la conclusión fuera cierta, pero sin embargo la argumentación
no fuera correcta, bien porque se hubiera cometido un error lógico de deducción, por ejemplo:
Todos los martes voy al cine.
Hoy voy al cine.
Luego hoy es martes.
Este argumento, aunque puede tener una apariencia válida, sin embargo encierra un error
lógico o falacia, al afirmar el antecedente a partir de la afirmación del consecuente. Suponiendo que
fuera cierto que hoy he ido al cine, sin embargo, no puedo deducir en absoluto que hoy sea martes.
En este caso sería verdad que he ido al cine, pero eso no se puede deducir del argumento anterior
porque está formalmente mal construido.
O bien porque la inferencia no se dedujera en absoluto de las premisas. Por ejemplo:
Si estudio mucho conseguiré aprobar.
Es cierto que estudio mucho.
Luego estoy matriculado en 1º de bachillerato.
La conclusión es verdadera, pero no se deduce en absoluto de las premisas que la preceden.
Así pues, sólo se produce un razonamiento lógico cuando la conclusión se deriva
necesariamente de las premisas siguiendo unas reglas de inferencia determinadas,
independientemente de su contenido material.
Para poder operar más fácilmente con los enunciados tenemos que formalizarlos
atribuyéndoles una letra del abecedario a cada uno de ellos. Para unificar criterios empezaremos
por la letra “p”, “q”, “r”, “s”…. aunque podría valer cualquier otra letra.
2.1.2. CONECTORES.
SÍMBOLO SE SE LEE… SE COLOCA… REPRESENTA…
REPRESENTA
“NO” o Siempre delante de la variable La negación de la
NEGADOR
¬ “NO ES o fórmula a la que afecta. ¬ p fórmula o
EL CASO o ¬ (pVq) proposición a la que
QUE…” precede
CONJUNTOR Λ “Y” Siempre entre dos variables o La conjunción (y, e,
fórmulas. p Λ q o (pq ) Λ ni), enumeraciones
(pq) con comas
DISYUNTOR V “O” Siempre entre dos variables o La disyunción (O)
fórmulas. pVq o (pq) V
(pq)
CONDICIONAL “Si… Entre antecedente (izquierda de Una condición que se
entonces…” la flecha) y consecuente (derecha debe cumplir para que
de la flecha) pq se dé la consecuencia.
BICONDICIONAL “Si y sólo Siempre entre dos variables o La condición funciona
si… fórmulas. p q en
entonces…” los dos sentidos.
Son símbolos que se utilizan para definir las relaciones que hay entre los distintos enunciados.
2.1.3. SÍMBLOS AUXILIARES.
Cuando las fórmulas empiezan a complicarse, se hace necesario utilizar paréntesis ( ),
corchetes [ ] o llaves { }. Estos símbolos no tienen un significado concreto, sólo sirven para agrupar
las variables y poner orden y evitar los equívocos. Por ejemplo: [(pVq)Λ¬q] p. Esta fórmula
se leería así: Si p o q y no q, entonces p.
Lógica de proposiciones -5-
Una vez que los hemos formalizado, los enunciados se pueden colocar de formas distintas,
dependiendo de si vamos a aplicar una tabla de verdad, o si vamos a hacer una deducción
indirecta o directa.
Seguidamente procederemos a atribuirle valores al razonamiento para ver si es válido o no. Para ello
tenemos que empezar por los enunciados atómicos. Ya dijimos en su momento que la lógica de
enunciados era una lógica binaria, esto es, que sólo puede tener uno de estos dos valores:
P q
Pero luego existen los enunciados moleculares que suponen una combinación
1 1
de variables. Tengamos p y q, en ese caso pueden darse estas posibilidades:
1 0
0 1
0 0
Pero en los
enunciados moleculares, además de haber varios enunciados, también existen unos
conectores a los que también tenemos que atribuir sus valores (0 ó 1).
p Q p Λ q
1 1 1
• El conjuntor ( Λ ) sólo es verdadero cuando las dos
1 0 0
proposiciones son verdaderas y falso en el resto de los casos.
0 1 0
0 0 0
Para el análisis de las tablas de verdad debemos tener en cuenta que estos conectores
pueden unir tanto enunciados atómicos ( p q ), como fórmulas más complejas
Lógica de proposiciones -8-
{[p q] Λ [ p ( q r )] Λ [ q ( r s )] } ( p s )
Lógica de proposiciones -10-
r es (1) s es (1)
CONTRADICCIÓN
s (1) y s (0)
Como hemos llegado a una contradicción, tenemos que concluir que el razonamiento ES VÁLIDO.
4.2. DEDUCCIÓN DIRECTA O INFERENCIA.
La deducción directa se realiza aplicando una serie de reglas al argumento para ver si es posible inferir
la conclusión a partir de las premisas. Si esto es posible, el argumento está bien construido. Estas son las
reglas que hay que aplicar.
letras A, B, C… hacen referencia tanto a enunciados atómicos: p, q, r…, como a fórmulas enteras. Por ejemplo:
cuando se dice en metalenguaje A Λ B, vale tanto para p Λ q, como para (p V q) Λ (r s).
Las reglas básicas de la inferencia son estas:
INTRODUCCIÓN CONECTOR ELIMINACIÓN
Si tenemos en dos premisas o pasos Si en una premisa o paso de la deducción nos
de la deducción dos fórmulas CONJUNTOR hallamos con una fórmula que sea una conjunción
cualesquiera (A-B), podemos unirlas Λ (A B) podemos extraer cualquiera de los
mediante el conjuntor. miembros de tal conjunción.
A (A B)
B
A [EC]
(A B) [IC] B [EC]
La regla dice que si en una premisa o Si nos encontramos con una disyunción, (A V B)
paso de la deducción hallamos una no podemos deducir cada uno de sus miembros de
fórmula (A), podemos añadir forma aislada, pero si podemos deducir un tercero,
mediante el disyuntor otra fórmula para ello: Suponemos cada uno de los extremos
cualquiera, esté o no en la DISYUNTOR con carácter subsidiario o provisional y por
deducción. V separado. Si del análisis de cada una de estas
A suposiciones se obtuviese un mismo resultado, tal
resultado se sigue lógicamente de la disyunción
(A V B) [ID] inicial. (A V B)
A…
C
B…
C
C [ED]
La regla permite relacionar dos Si tenemos una implicación en un paso de la
proposiciones de forma tal, que si se deducción y en otro el antecedente, podemos
da el antecedente, se da el IMPLICADOR inferir el consecuente. Téngase en cuenta que ha
consecuente. Este Teorema de de tratarse del mismo antecedente de la
Deducción se aplica en aquellos implicación. Esta regla se denomina también
argumentos cuya conclusión sea un Modus Ponens (MP)
implicador. A (A B)
B A
------------- -----------
(A ) [TD] B [M.P]
Si de una proposición podemos NEGADOR Esta regla nos permite eliminar o introducir un
deducir una contradicción, esa doble negador porque es lo mismo que una
proposición debe ser negada. ¬ afirmación.
A ¬¬A A
(B Λ ¬B) A ¬¬A
¬A [D.N.]
[Abs]
Lógica de proposiciones -12-
AΛB . AVB
BΛA CONMUTATIVA BVA
[CC]
[CD]
(A Λ B) Λ C (A V B) V C
A Λ ( B Λ C) ASOCIATIVA A V ( B V C)
[AC] [AD]
DISTRIBUTIVA
A Λ (B V C) A V (B Λ C)
(A Λ B) V (A Λ C) (A V B) Λ (A V C)
[DC] [DD]
DEFINICIÓN
AΛB AVB
¬ (A ¬ B) [DfC1] ¬ A B [DfD1]
AΛB AVB
[DfC2] [DfD2]
¬ (¬ A V ¬ B) ¬ ( ¬ A Λ ¬ B)
LEYES DE
¬(AΛB) ¬ (AVB)
MORGAN
¬AV ¬B [DM1] ¬AΛ¬B [DM2]
SILOGISMO
DISYUNTIVO AVB AVB
¬ A ¬ B
B A [SD]
DILEMAS
A partir de ahora, iremos modificando las premisas según las reglas de derivación
hasta que en una línea obtengamos la conclusión a la que debemos llegar: en este
caso s
LAS FALACIAS
No deja de ser sorprendente que, a pesar de la lógica, seguimos equivocándonos o construyendo
mal nuestros razonamientos. A este fenómeno nos referimos cuando hablamos de falacias. Platón
solía decir que “los razonamientos, como los hombres, a menudo son hipócritas”. Las falacias son los
razonamientos, que aún siendo incorrectos, son psicológicamente persuasivos. Son formas de
razonamiento que parecen correctas, pero cuando se las analiza cuidadosamente resultan no serlo. La
comprensión de estas falacias, nos ayudará a conocerlas y a no ser engañados por ellas.
Estas son algunas de las falacias más importantes:
1. FALACIAS DE DISTRACCIÓN
Estas falacias se caracterizan por un uso ilegítimo de un operador lógico con el fin de distraer
al interlocutor de la aparente falsedad de un cierto enunciado.
1.1 Falso Dilema
Definición: Se ofrece un número limitado de opciones (por lo general dos), cuando en realidad
existen más opciones. Un falso dilema supone un uso ilegítimo del conector ‘o’.
Ejemplos: (1) Quien no está conmigo está contra mí. (2) O lo aceptas, o te callas. (3) Hay que
apoyar al PP o el nacionalismo triunfará.
Lógica de proposiciones -14-
Refutación: Identificar las opciones ofrecidas y mostrar (con un ejemplo) que existen otras
opciones.
1.2 Argumento desde la ignorancia (argumentum ad ignorantiam)
Definición: Los argumentos de este tipo suponen que dado que algo no se ha probado que es falso,
tiene que ser verdadero. También puede darse al contrario, es decir que diga que dado que algo
no se ha probado que es verdadero, es falso. (Se trata de un caso especial de falso dilema, dado
que supone de todos los enunciados sabemos que son verdaderos o que sabemos que son falsos.)
“La falta de pruebas no es una prueba.”
Ejemplos: (1) Como no puedes probar que los fantasmas no existan, tienen que existir. (2) Como
los científicos no pueden probar el calentamiento global, seguramente no existe. (3) Juan dijo
que es más listo que María, pero no lo probó, por tanto debe ser mentira.
Refutación: Identificar el enunciado en cuestión. Argumentar que puede ser verdadero aunque
no se sepa si lo es o no.
1.3 Bola de nieve o pendiente deslizante.
Definición: Para mostrar que un enunciado a es inaceptable, se ofrece una serie de
enunciados cada vez más inaceptables que se suponen que se siguen de a. Un argumento
de bola de nieve es un uso ilegítimo del conector “si-entonces”.
Ejemplos: (1) Si aceptamos una ley que admita la eutanasia no tardaremos en admitir
otra que permita matar a cualquier enfermo, luego a los viejos, etc., será el nazismo. (2)
No debes jugar nunca, si empiezas a jugar te será difícil dejarlo. En seguida perderás
todo tu dinero y te verás obligado a delinquir para compensarlo. (3) Si hacemos una
excepción por ti tendríamos que hacerla por todos.
Refutación: Identificar el enunciado “a” que se rechaza e identificar el acontecimiento
final de la serie. Mostrar que no es necesario que el acontecimiento final se siga de “a”.
1.4 Cuestión compleja
Definición: Dos puntos que no tienen relación se unen y se presentan como un único enunciado. Se
espera que el interlocutor acepte o rechace ambos a la vez, cuando en realidad puede aceptarse
uno de ellos sin aceptar el otro. Una cuestión compleja supone un uso ilegítimo del conector “y”.
Ejemplos: (1) Debes apoyar el derecho de los padres a elegir la educación de sus hijos y los
castigos físicos. (2) ¿Apoyas la libertad y el derecho a llevar armas? (3) ¿Has hecho ya tus
deberes atrasados? (encierra dos preguntas: ¿has hecho los deberes? ¿tienes deberes
atrasados?
Refutación: Identificar los dos enunciados ilegítimamente unidos y mostrar que aceptar uno no
supone aceptar el otro.
2. RECURSO A MOTIVOS EN LUGAR DE A RAZONES
Las falacias de esta sección tienen en común la apelación a emociones o a otros factores psicológicos.
Al hacerlo, no proporcionan razones que apoyen la conclusión.
2.1 Recurso a la fuerza (argumentum ad baculum)
Definición: Se advierte al interlocutor de las desagradables consecuencias que tendrá para él no
aceptar la opinión presentada.
Ejemplos: (1) Lo mejor que puedes hacer para conservar tu empleo es aceptar estas nuevas
condiciones. (2) Ese proyecto es un error, si votas a favor nosotros votaremos tu expulsión.
Lógica de proposiciones -15-
tres formas principales de Ataque a la Persona: ad hominem (abusivo): en lugar de atacar una
afirmación, se ataca a la persona que la hace. ad hominem (circunstancial): en lugar de atacar una
afirmación se señala la relación que existe entre la afirmación y las circunstancias de quien la
hace. (3) ad hominem (tu quoque): esta forma de ataque sobre la persona destaca que ésta no
practica lo que predica.
Ejemplos: (1) Puedes defender que Dios no existe, pero lo haces porque está de moda. (abusivo)
(2) No hay que hacer caso a lo que dice el ministro sobre los impuestos, porque a él no le afecta
la subida (circunstancial) (3) Dices que no debería fumar, pero tú no has estado ni un año sin
hacerlo (tu quoque).
Refutación: Identificar el ataque y mostrar que el carácter o las circunstancias de la persona
nada tienen que ver con la verdad o falsedad de lo que se defiende.
3.2 Recurso a la Autoridad (argumentum ad verecundiam)
Definición: Aunque a veces puede ser adecuado citar una autoridad para apoyar una tesis, a
menudo no es así. En particular, es inapropiado apelar a la autoridad si: (1) la persona no está
cualificada para tener una opinión de experto sobre el tema; (2) los expertos en ese campo
discrepan de esa opinión; (3) la autoridad estaba de broma, o había bebido o por alguna otra
causa su opinión no era seria. Una variedad de la apelación falaz a la autoridad son las
habladurías. Un argumento desde las habladurías es aquél que depende de fuentes de segunda o
tercera mano.
Ejemplos: (1) El prestigioso psiquiatra X recomienda la compra de un crecepelo. (2) El economista
John Kenneth Galgraith defiende que una política monetaria estricta es el mejor remedio para la
recesión (Aunque Galbraith es un gran experto, no todos los economistas están de acuerdo con
él). (3) Vamos a empezar una guerra nuclear. Ronald Reagan dijo que iba a empezar a bombardear
Rusia. (Lo dijo de broma mientras probaba un micrófono) (4) Un amigo oyó en las noticias que
Canadá iba a declarar la guerra a Serbia. (Éste es un caso de habladurías; de hecho el periodista
dijo que Canadá no iba a declarar la guerra.) (5) El periódico X dijo que las ventas subieron un
5,8% el año pasado. (Es un caso de habladurías, no podemos contrastar las fuentes del periódico)
Refutación: Mostrar que (1) la persona citada no es una autoridad en el campo de que se trate o
(2) no existe acuerdo general entre los expertos sobre ese punto.
3.3 Autoridad anónima
Definición: No se nombra a la autoridad en cuestión. Se trata de un tipo de recurso a la
autoridad porque cuando no se nombra a la autoridad es imposible confirmar si se trata de un
experto. Sin embargo la falacia es tan corriente que merece atención especial.
Una variedad de esta falacia es el recurso al rumor. Dado que la fuente de un rumor normalmente
no se conoce, no es posible determinar si el rumor es creíble. A menudo se hacen circular
rumores falsos para desacreditar a un oponente.
Ejemplos: (1) Un funcionario dijo que la ley se aprobaría mañana. (2) Los expertos creen que la
mejor manera de prevenir una guerra nuclear es prepararse para ella. (3) Se dice que se
practican más de dos millones de operaciones innecesarias al año. (4) Se rumorea que habrá un
día de fiesta en octubre.
Refutación: Señalar que no conocer la fuente de información impide conocer la fiabilidad de
ésta.
Lógica de proposiciones -17-
Ejemplos: (1) Como permitimos que los pacientes terminales tomen morfina, deberíamos permitir
que todo el mundo la tomase. (2) Como el profesor dejó que Pérez entregase tarde el trabajo
porque había tenido un accidente debería dejar que todos lo entregasen tarde.
Refutación: Mostrar que estamos ante un caso excepcional que se sale de la generalización.
6. FALACIAS CAUSALES
Es corriente que un argumento concluya que una cosa es causa de otra. Pero la relación entre
causa y efecto es una relación compleja. Es fácil equivocarse.
En general se dice que una causa C es la causa de un efecto E si y sólo si:
a) Por regla general, si C sucede, entonces E sucede y
b) Por regla general, si C no sucede, entonces E no sucede.
6.1 Correlación casual (post hoc ergo prompter hoc)
Definición: El nombre en latín significa "después de esto, por tanto a causa de esto". Se comete
la falacia cuando se supone que cuando una cosa sucede a otra es porque la primera es la causa de
la segunda.
Ejemplos: (1) Cuando entró Isaac se apagó la luz, por tanto Isaac fue la causa de que se apagase
la luz. (2) Me tomé "Anticatarral Valero" y a los tres días ya no tenía catarro.
Refutación: Mostrar que la correlación es una casualidad señalando que: a) el efecto podría
haber tenido lugar aunque el "causa" no hubiese sucedido, o b) que el efecto fue causado por
otra causa diferente a la propuesta.
6.2 Efecto conjunto
Definición: Se dice que una cosa es causa de otra cuando en realidad las dos son efectos de una
misma causa subyacente.
Ejemplos: (1) Hay mucho paro porque hay poco consumo (las dos cosas son debidas a las altas
tasas de interés). (2) La fiebre que tienes se debe a esos granos (las dos cosas se deben al
sarampión)
Refutación: Identificar los dos efectos y mostrar cuál es la causa común subyacente
6.3 Causa insignificante
Definición: Lo que se alega como causa es una causa genuina, pero insignificante comparada con
las otras causas del fenómeno. La falacia no existe cuando todas las demás causas concurrentes
son igualmente insignificantes. (Por ejemplo, un voto es causa de la elección o no elección de un
candidato porque vale lo mismo que todos los demás votos.
Ejemplos: (1) Fumar causa la contaminación del aire en las ciudades (es verdad, pero el efecto del
humo del tabaco es insignificante comparado, por ejemplo, con los gases de escape de los
vehículos) (2) Si dejas la luz encendida toda la noche estás contribuyendo al calentamiento
global.
Refutación: Identificar la causa verdaderamente importante.
6.4 Dirección equivocada
Definición: Se invierte la relación entre causa y efecto.
Ejemplo: (1) El cáncer causa que se fume. (2) El incremento del SIDA estuvo causado por un
aumento de la educación sexual. (De hecho el incremento de la educación sexual se debió a la
expansión de SIDA)
Lógica de proposiciones -20-
Ejemplos: (1) Los toreros usan la muleta, por tanto Paco debe ser torero porque usa muletas
desde que se rompió la pierna.
Refutación: Mostrar que la palabra se usa con dos significados diferentes.
8.2 Anfibología
Definición: Sucede cuando la construcción de una frase hace que se pueda interpretar de dos
maneras.
Ejemplos: (1) La otra noche pude ver a un ladrón en pijama. (2) El oráculo de Delfos le dijo a
Croseus que si entraba en guerra destruiría un poderoso reino (No le dijo que sería el suyo) (3)
Cuando llegó a la altura de Elena se cayó (cuál de los dos)
Refutación: Señalar las dos interpretaciones diferentes.
8.3 Énfasis
Definición: Se hace hincapié en un aspecto que cambia el significado usual de una expresión.
Ejemplo: (1) Para vengarse el contramaestre escribió en su informe: "Hoy el capitán estaba
sobrio" (Parece que por lo general estuviese bebido) (2) "Ese chiste ha tenido gracia" (Parece
indicar que los demás no la tengan)
Refutación: Precisar los límites de las apreciaciones.
9. ERRORES CATEGORIALES
Estas falacias suceden porque el autor asume erróneamente que un todo no es nada más que la
suma de sus partes. Sin embargo un conjunto de cosas puede tener propiedades diferentes a las de
sus partes.
9.1 Composición
Definición: Como los miembros de un conjunto tienen una determinada propiedad, se argumenta
que el conjunto debe tenerla.
Ejemplos: (1) En la 2ª Guerra Mundial las bombas convencionales causaron muchos más muertos
que las nucleares. Por tanto las bombas convencionales son más peligrosas que las bombas
nucleares.
Refutación: Mostrar las diferentes propiedades del todo y de sus partes.
9.2 División
Definición: Como el conjunto tiene una determinada propiedad se concluye que cada una de sus
partes debe tenerla
Ejemplos: Como el cerebro es capaz de tener consciencia, cada neurona debe tenerla
Refutación: Mostrar las diferentes propiedades del todo y de sus partes.
10. NON SEQUITUR
La expresión "non sequitur" significa literalmente "no se sigue". En esta sección se describen
falacias que son consecuencia de argumentos inválidos.
10.1 Afirmación del consecuente
Definición: Son inválidos los argumentos siguientes: Si A entonces B. B. Por lo tanto A.
Ejemplos: (1) Si estoy en Elche entonces estoy en el Baix Vinalopó. Estoy en el Baix Vinalopó. Por
lo tanto estoy en Elche. (Puedo estar en Santa Pola, por ejemplo)
Refutación: Mostrar que aunque las premisas sean verdaderas la conclusión puede ser falsa.
10.2 Negación del antecedente
Definición: Son inválidos los argumentos de la forma siguiente: Si A entonces B. No A. Por lo
tanto, no B.
Lógica de proposiciones -22-
Ejemplos: (1) Si te mata un coche cuando tienes seis años entonces mueres joven. No te ha
matado un coche a los seis años. Por lo tanto no morirás joven. (Te puede arrollar un tren a los
17) (2) Si estoy en Elche estoy en el Baix Vinalopó. No estoy en Elche. Por tanto no estoy en el
Baix Vinalopó.
Refutación: Mostrar que aunque las premisas sean verdaderas la conclusión puede ser falsa.
10.3 Inconsistencia
Definición: Se afirman a la vez enunciados que no pueden ser verdaderos todos a un tiempo.
Ejemplos: (1) Toledo está a 70 km de Madrid. Elche está a más de 300 km de Madrid. Elche está
más cerca de Madrid que Toledo. (2) Juan es mayor que Pepe. Pepe es mayor que Luís. Luís es
mayor que Juan.
Refutación: Mostrar que todos los enunciados no pueden ser ciertos a la vez.