1
silogismo es: "Todos los hombres son mortales; Sócrates es un hombre; por lo tanto, Sócrates
CUARTO MEDIO FILOSOFÍA COMÚN: LÓGICA PROPOSICIONAL
UNIDAD I: EL LENGUAJE DE LA LÓGICA
1.1. Consideraciones Generales
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía,
matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido
o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite
saber el significado correcto. En las matemáticas para demostrar teoremas e inferir resultados
matemáticos que puedan ser aplicados en investigaciones. En la computación para revisar
programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se
realiza tiene un procedimiento lógico, por ejemplo: “para ir de compras al supermercado una
ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si
una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó
la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o
derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo
esto es la aplicación de la lógica”.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca
se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos
conocimientos acumulados, se pueden obtener nuevos inventos a los ya existentes o
simplemente utilización de los mismos.
Por lo tanto, la lógica matemática es la disciplina que trata de métodos de razonamiento. En un
nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas;
en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias
física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante
el razonamiento lógico para realizar cualquier actividad.
1.2. LÓGICA TRADICIONAL Y LÓGICA SIMBÓLICA
Aristóteles, que es considerado el pionero en el estudio de la Lógica y su creador en su forma
clásica, la consideraba como el arte de la argumentación correcta y verdadera. A los libros que
trataban los temas de lógica los tituló "Organon", que significa "instrumento". Estos se centran
en el estudio del silogismo, un conjunto de tres presupuestos o juicios que tienen entre sí la
siguiente relación: el tercero se deriva - se deduce o concluye- de los dos primeros. A los dos
primeros les llamamos "premisas" y al último le llamamos "conclusión". Un ejemplo clásico de
es mortal".
Siguiendo la definición clásica de lógica, podemos decir que se trata de "la ciencia o el estudio
que trata sobre los razonamientos correctos". Durante muchos siglos se desarrolló también un
importante desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces
con el ánimo de confundir el razonamiento o el debate con otros interlocutores.
Hoy en día, y gracias a los trabajos de un gran número de matemáticos y filósofos, entre los
que podemos destacar a George Boole (1815-1864), G. Peano (1858-1932), George Cantor
(1845-1918), Gottlob Frege (1848-1925) y Bertrand Russell (1872-1970), se ha desarrollado la
lógica simbólica o lógica formal, que se caracteriza por el uso de un lenguaje formal,
simbólico, como el que se usa en las matemáticas, así como unas reglas estrictas de
transformación entre distintas proposiciones.
Por lo tanto, las relaciones entre la lógica simbólica y la tradicional divide a los autores en
diversas posturas, desde considerar que la única lógica verdadera es la tradicional, y que la
simbólica no es más que un mero rebuscamiento, hasta pensar que las enseñanzas de la lógica
tradicional son falsas. Lo más sensato sería considerar que la relación que hay que establecer
no es la de oposición, sino la de evolución.
1.3. LOS SIGNOS, EL LENGUAJE Y EL LENGUAJE NATURAL
1.3.1. LOS SIGNOS.
Los signos pueden definirse como “todo aquello que representa o evoca una cosa en algún
aspecto para alguien”. Las señales de tráfico, las palabras, la danza de las abejas, el humo, las
representaciones de las figuras geométricas, las notas musicales, etc., son signos.
Para que algo sea considerado signo, es necesario que tenga significado y que exista un
organismo receptor (intérprete), para el cual el signo sea signo.
Por la relación que mantienen con su significado, los signos se pueden clasificar en:
1. IMÁGENES: Mantienen con su significado una relación de semejanza. Por ejemplo, algunas
señales de tráfico o las pinturas del realismo, son imágenes de aquello que representan.
2. SÍMBOLOS: Son signos que mantienen con su significado una relación puramente
arbitraria. Las palabras, los números o los signos de la lógica formal son símbolos.
1.3.2. EL LENGUAJE.

Existen varias teorías que tratan de explicar cómo adquirimos esa capacidad:
1) La teoría conductista:
En el área lingüística, Skinner comprobó que los niños adquieren la lengua por medio de un
proceso que adapta sus estímulos los cuales provienen de la repetición y corrección de los
adultos.
2) La teoría innatista:
Esta teoría fue expuesta por Noam Chomsky, la cual propone que las personas poseemos un
dispositivo de adquisición del lenguaje, el cual el cerebro programa para poder analizar el
momento comunicativo que se escucha y descifrar las reglas.
3) La teoría cognitiva:
Esta teoría fue impulsada por el psicólogo Jean Piaget, quien sostiene que en medida que
desarrollemos nuestra inteligencia podremos desarrollar el lenguaje.
4) La teoría interaccionista:
La escuela formalista, liderada por Noam Chomsky, asegura que en nuestro cerebro hay una
especie de plantilla innata para la estructura del lenguaje que hemos heredado de alguna
manera. Los formalistas creen en la influencia de la capacidad simbólica en la estructura de la
lengua. Sin embargo, no aportan ninguna pista sobre cómo llegó esta capacidad a nuestra
cabeza.
Los niños simplemente son enseñados a hablar por sus padres, colegio y otras personas en su
comunidad lingüística. Todavía sigue siendo un misterio, en parte, el proceso de adquisición de
lenguaje. Nuestro conocimiento lingüístico es inconsciente y corresponde a:
Sintaxis: parte de la gramática que enseña a coordinar las palabras y construir con ellas
oraciones.
Semántica: estudio del significado de los signos lingüísticos, esto es, palabras, expresiones y
oraciones. La finalidad de la semántica es establecer el significado de los signos, de lo que
significan dentro del proceso que asigna tales significados.
Fonología: es la rama de la lingüística que estudia los sistemas fónicos de las lenguas (sonidos),
frente a la articulación física del lenguaje.
En definitiva, es un sistema que usa señales físicas (sonidos, gestos, marca en un papel) para
expresar un significado y enseñar un concepto u objeto. En forma natural, el ser humano
representa el conocimiento simbólicamente: imágenes, lenguaje hablado y lenguaje escrito.
El lenguaje puede emplearse de distintas formas: para pedir algo o para describir algo que
hemos visto o simplemente para expresar una sensación, como cuando gritamos al quemarnos.
La lógica es un uso especial del lenguaje que está relacionado con el sentido y la exactitud de
lo que decimos.
2
Es un fenómeno social basado en la capacidad que poseen algunas especies animales de
comunicarse mediante símbolos. Esta capacidad se encuentra especialmente desarrollada en el
hombre, pues, aunque las abejas posean también un simbolismo universal muy complejo que
les permite referirse a objetos y acontecimientos muy diversos. El lenguaje humano puede ser
de forma aún más compleja y abstracta.
1.3.3. EL LENGUAJE NATURAL.
Es la lengua utilizada por una comunidad lingüística. Es un lenguaje que aprendemos y que
utilizamos para nombrar objetos, hacer preguntas, expresar emociones, describir
acontecimientos, etc. El ruso, el catalán, el inglés o el castellano son ejemplos de lenguajes
naturales. En los animales este lenguaje es innato. Este lenguaje natural consta de finitos
símbolos (palabras o signos lingüísticos) y de determinadas reglas (gramática) para la
construcción de oraciones, que permiten a su vez, la construcción de infinitas e ilimitadas
realizaciones expresivas (por ejemplo el conector "y").
Por lo tanto, construyendo oraciones, podemos enunciar hechos, describir fenómenos, expresar
estados de ánimo, dudas, etc., por lo tanto, las posibilidades expresivas son prácticamente
ilimitadas.
Es importante aclarar, que las expresiones “lenguaje cotidiano”, “lenguaje histórico” o
“lenguaje ordinario” se emplean, en ocasiones, como sinónimos de lenguaje natural.
1.4. ORACIÓN.
Una oración es una expresión lingüística gramaticalmente correcta y que posee sentido
completo. Desde el punto de su significado, las oraciones se clasifican en: enunciativas,
derivativas, dubitativas, exhortativas, interrogativas y exclamativas. Cada una de ellas puede,
además, afirmar o negar la conformidad objetiva del sujeto con el predicado.
Enunciativas: Las oraciones enunciativas son con las que se comunica algo. Pueden ser
afirmativas o negativas.
Derivativas: aquellas oraciones en las que el hablante da una orden, un mandato.
Dubitativas: En ellas el hablante expresa una duda.
Interrogativas: Con una oración interrogativa, el hablante hace una pregunta.
Exclamativas: Son aquellas oraciones que expresan una emoción.
A la pregunta, ¿Una oración es verdadera o falsa?, sólo se debe señalar que podemos atribuir
valor de verdad al contenido que expresan las oraciones enunciativas. Por ejemplo, “el cobre es
un mineral” es una oración enunciativa que expresa un contenido verdadero. El contenido de la
oración “llueve”, será verdadero o falso, en función del momento en que se exprese.
Por el contrario, las órdenes, los deseos, las exclamaciones o las preguntas, por ejemplo, no
tienen valor de verdad y carece de sentido preguntarse si son verdaderos o falsos.

1.5. ENUNCIADO
Un enunciado es un segmento lingüístico que tiene sentido completo, se trata de una oración
enunciativa, y que es susceptible de ser verdadero o falso. Ahora, toda oración es una
expresión, pero no al revés. Asimismo, todo enunciado es una oración, pero no al revés.
Ahora bien el lenguaje natural resulta poco apropiado para las construcciones teóricas de la
Ciencia o para la expresión de razonamientos complejos, necesitados de una exactitud que el
lenguaje ordinario no posee. Las insuficiencias más comunes son:
1. Imprecisiones Semánticas: En los lenguajes naturales no se da una correspondencia
biunívoca entre signos y objetos representados:
- Hay palabras insuficientemente definidas (términos vagos), como por ejemplo: rápido,
difícil, agradable, , que impiden el exacto entendimiento del mensaje.
- Hay palabras que tienen más de un significado y que se usan ambiguamente, y en esas
ocasiones resulta casi imposible saber por el contexto en el cual lo están utilizando.
Por ejemplo, en la oración “Pedro ha arrendado una casa”, se expresan dos
proposiciones: o la ha alquilado para él o ha alquilado una de las casas de su propiedad
a otra persona.
2. Deficiencias Sintácticas: Las reglas morfosintácticas del lenguaje natural resultan, con
frecuencia ineficaces:
- Carecen de criterios rigurosos y suficientes para evitar las oraciones sin-sentido. Por
ejemplo, “los tambores participios parpadean libertad” ¿Es verdadero?¿Es falso?
¿Carecen de significado y consecuentemente, no puede ser ni verdadero ni falso?
- No permiten operar con exactitud y eficacia, de tal forma que un enunciado como por
ejemplo, “Tras lanzar el salvavidas, Don Ramón se hundía en el lago”, nos hace dudar
de su significado: ¿Quién se hundía, Don Ramón o el salvavidas? Pregúntate ahora:
¿La Ciencia podría trabajar con enunciados ambiguos?
UNIDAD II: LA LÓGICA PROPOSICIONAL COMO LENGUAJE ARTIFICIAL Y
LENGUAJE FORMAL
2.1. CONSIDERACIONES GENERALES
Desde el comienzo de la reflexión filosófica griega, con Heráclito, Platón o Aristóteles, hasta
nuestros días, con el estructuralismo o la filosofía analítica, el concepto de "logos" constituye
una apasionante trilogía. Su significación abarca "lenguaje", "pensamiento" y "razón"; es decir,
que la expresión lingüística, la referencia de ésta y las reglas de encadenamiento correcto de las
expresiones, en el logos se identifican.
3
Por el uso, sin embargo, que se hace de la información que se transmite en el lenguaje se
distingue la lógica de la retórica. La lógica aspira a alcanzar pensamientos objetivos, con el fin
de instruir, diferenciándose en esto de la retórica, porque el interés de ésta es más despertar o
inhibir afectos, actitudes y conductas, a veces con discursos objetivos, pero las más con
ilusiones de verdades.
El interés lógico de ser razón, norma de conocimiento correcto e instrumento en que se exprese
la verdad científica, aboca a la suspensión del uso espontáneo del lenguaje de la comunicación
social, mediante una formalización del lenguaje natural. Además, las deficiencias en precisión
del lenguaje natural y las expresiones lingüísticas, debido a anfibologías, polisemias,
metáforas, etc., llevan con facilidad a razonamientos incorrectos e infunden, por ello,
desconfianza hacia el lenguaje natural. Así pues, en relación al uso lógico del lenguaje, no es lo
mismo un discurso científico o filosófico, normalmente depurados, que un discurso expresado
en el lenguaje natural. Ni éste que uno poético, perteneciente a otro uso lingüístico. . .
Las operaciones lógicas básicas son el "análisis" y la "síntesis". La primera consiste en la
división a partir de lo compuesto, hasta dar con los elementos simples. La segunda, en
componer a partir de lo simple y formar estructuras complejas. Cuando el análisis lógico
encuentra en la "proposición" su átomo, estamos ante la "Lógica de proposiciones" o
enunciados. En ella, los elementos de las proposiciones, el sujeto (objeto) y el predicado
(función proposicional) no se analizan. La proposición se toma como una unidad última en la
división.
2.2. LA LÓGICA COMO LENGUAJE ARTIFICIAL
Para superar las deficiencias del lenguaje natural y dotar a las ciencias de una expresividad
rigurosa y exacta, se construyen lenguajes artificiales, esto es, lenguajes bien definidos que
posee una estructura operativa y eficaz.
Los lenguajes artificiales permiten profundizar en la investigación matemática y científica sin
exponerse a caer en las imprecisiones del lenguaje ordinario.
En líneas generales, puede decirse que todas las ciencias emplean lenguajes artificiales y que
ésta es una de las condiciones de su progreso.
A continuación, se entregarán algunas herramientas y métodos para poder superar las
deficiencias del lenguaje natural:
1º Las definiciones que proceden de la vaguedad de las palabras o de sus ambiguos mediante:
- La redefinición de los conceptos ordinarios
- La utilización de un simbolismo artificial basado en una correspondencia biunívoca, de
uno a uno, entre símbolo y objeto representado.
-

La Física, por ejemplo, dispone de un extenso repertorio de términos ordinarios redefinidos
unívocamente: fuerza, masa, energía, así como de otros símbolos convencionales: “r”, “e”, “v”,
etc., que permiten a los investigadores operar con fórmulas.
2º Las deficiencia que resultan de la vaguedad de los enunciados (confusiones, contrasentidos,
etc.), estipulando reglas con criterios técnicos suficientes para evitarlas.
3º La incongruencia de los razonamientos: sofismas, paradojas, aporías, etc., mediante reglas
operativas eficaces y rigurosas que hagan imposible la demostración de contradicciones.
Los elementos que integran un lenguaje artificial son los mismos de los demás, signos y reglas
sintácticas, pero se le exige además:
1. Que los signos estén bien definidos
2. Que el conjunto de reglas para la formulación de enunciados sea efectivo, es decir,
permita saber en cualquier momento si nos encontramos ante una expresión bien
formada del lenguaje artificial que trate.
3. Que el conjunto de reglas operativas permita pasar de unas expresiones a otras,
construyendo cadenas deductivas rigurosas y exactas
Desde el punto de vista expresivo, los lenguajes artificiales disponen de un campo muy
limitado. Sólo sirven para satisfacer las necesidades expresivas de aquellos sectores del
conocimiento para los que fueron diseñados.
Desde el punto de vista de la aplicación a la Ciencia, el uso de lenguajes artificiales resulta, en
la actualidad imprescindible.
La Lógica Formal y la Matemática son prototipos de lenguajes artificiales. Su aplicación al
terreno científico ha sido la condición de su espectacular desarrollo: la Física, por ejemplo,
inició su despegue a partir del momento en que Galileo (S. XVI) matematizó sus enunciados y
los sometió a la exactitud y rigor del método matemático.
2.3. EL LENGUAJE FORMAL
Es el lenguaje artificial que utiliza una tabla de símbolos formales: formas que carecen de
significado fijo y cuyas reglas sintácticas poseen la operatividad y eficacia del cálculo. La
lógica y la matemática son lenguajes formales.
El lenguaje formal utiliza una tabla de símbolos formales, que son un conjunto de signos
(constantes y variables), que se establece por convenio, y contiene tantos símbolos como sean
necesarios para operar.
4
2.3.1. VARIABLES:
Son signos que carecen de significado fijo, sino que son variables, y en consecuencia, pueden
recibir un surtido ilimitado de contenidos: se puede establecer correspondencia entre tales
Símbolos, por una parte, y objetos de la realidad, por otra. En matemáticas, se puede decir que
el número “3” puede utilizarse para contabilizar los caballos, conjuntos, ángulos, conceptos,
etc., pero jamás se puede decir que el número “3” se refiere exclusivamente a los caballos, los
conjuntos, etc. En lógica, el símbolo “p”, puede traducir cualquier enunciado afirmativo, como
por ejemplo, “París es una ciudad” o “la casa es roja”. En definitiva, se constituyen el
vocabulario primitivo del lenguaje formal.
2.3.2. CONSTANTES:
Son signos con sentido fijo que sirven para enlazar entre sí símbolos del vocabulario primitivo.
En los lenguajes formales, los símbolos constantes se llaman también operadores. En
matemáticas, los signos de sumar, restar o dividir son símbolos constantes u operadores. En
lógica, el conector llamado “conjunción” (^) o el “condicional” ( ) que enlazan una
variable con otras.
Todo lenguaje formal se sirve de dos tipos de reglas:
1. Las reglas de formación de fórmulas
2. Las reglas de transformación de fórmulas
1. FORMACIÓN DE FÓRMULAS: Son las que establecen criterios para combinar
correctamente los símbolos formales. En matemáticas, la expresión “(3+4)*7”, es una fórmula
bien formada en el cálculo de los números naturales. En lógica, la expresión “(p ^ q) → r, es
también una fórmula bien formada.
2. TRANSFORMACIÓN DE FÓRMULAS: Son las reglas que permiten operar con fórmulas
dentro del cálculo, esto es, pasar de una fórmula a otra. En matemáticas, podemos transformar
la expresión “(3+4)*7” a otra que le sea equivalente, por ejemplo: “49” o “45+4” o “50-1”.
La Lógica como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten
la transformación de unos enunciados (premisas) en otros (conclusión), con objeto de convertir
las operaciones deductivas en un cálculo riguroso y eficaz.
2.4. LA LÓGICA COMO LENGUAJE FORMAL
La lógica puede definirse como la teoría de las condiciones del razonamiento formalmente
válido, en donde se busca demostrar simbólicamente el valor de verdad de una cadena
deductiva de razonamientos.
Un razonamiento es un proceso mental (como también la imaginación o el recuerdo), que se
caracteriza porque en él se produce un paso de uno o más enunciados (premisas) a otro
posterior (conclusión), que se sacan necesariamente de aquéllos
 5
En el lenguaje natural, la conclusión de los razonamientos viene introducida por expresiones Un enunciado es tomado en bloque cuando se prescinde de los elementos que lo integran y pasa
como: “POR LO TANTO”, “LUEGO”, “EN CONSECUENCIA”, “SE DEDUCE QUE”, a ser considerado como un todo (una unidad lingüística), pudiendo ser V o F.
etc. Ejemplo: El enunciado “Todos los hombres son mortales”
Desde el punto de vista de la lógica de predicados, sufriría la siguiente
Por ejemplo: interpretación: Para todos los casos de X, si X tiene la propiedad de ser
“Le dije que si me prestaba un libro, me distraería durante el viaje, y él me lo prestó. Puedes hombre, entonces X tiene la propiedad de ser mortal.
deducir que he tenido un viaje muy distraído”. Si observamos, la interpretación atiende a la estructura interna del enunciado.
Aunque todo razonamiento es una forma de pensamiento, pero todo pensamiento no es
razonamiento. Por ejemplo: Recordar un hecho, elegir un número entre 1 y 10, etc. En cambio, si tomamos el enunciado en bloque, prescindimos e analizar su estructura interna y
La lógica se ocupa de la estructura del razonamiento, viendo que dicho razonamiento sea lo simbolizamos con una letra consonante (variable), como “p”, “q”, “r”, “s”, etc.
formalmente válido, de ahí que prescinda de los contenidos y que se diferencia claramente de
otras disciplinas que, como la psicología, se interesan también por el razonamiento, pero desde Un enunciado es una colección de símbolos, que es verdadera o falsa, pero no verdadera o
otra óptica. El razonamiento del ejemplo anterior tiene esa estructura. Su estructura sería: falsa simultáneamente.
Si ocurre X, entonces sucederá Y
Ocurre X, Ejemplos:
Luego, sucederá Y. 1) “Todos los hombres son mortales” = p Enunciado verdadero
2) “París está en Inglaterra” = r Enunciado falso
Este tipo de estructura es aplicable a una infinidad de razonamientos, sean cuales quieran sus 3) “El oro es un metal precioso” = s Enunciado verdadero
contenidos. 4) “¿A dónde va UD.?” No es enunciado, porque no es verdadero ni falso.
Un razonamiento es formalmente válido si:
1. Posee una estructura correcta, cuando existe una condición adecuada entre las premisas
y la conclusión. 5) “Escriba su trabajo en el cuaderno” No es enunciado, porque no es verdadero ni falso.
2. La conclusión se deriva de las premisas.
3. La conclusión es verdadera para todos los casos de interpretación de las premisas, si las
premisas son verdaderas (validez semántica). Por ende, en un razonamiento válido, la Su sencillez radica en que ella se limita a analizar y estudiar sistemáticamente aquellos
conclusión se deriva rigurosamente de las premisas, de manera que es imposible que razonamientos cuya validez no depende de la estructura interna de sus enunciados.
alguien mantenga las premisas y niegue la conclusión sin contradecirse.
EJERCICIOS DE APLICACIÓN Nº1
Ahora, la lógica es un lenguaje formal, porque dispone de símbolos formales (constantes y De acuerdo a las siguientes oraciones, identifique las que son enunciativas (enunciados),
variables), de unas reglas de transformación de fórmulas que permiten operar con ellas con la indicando si son Verdaderos (V) o Falsos (F).
eficacia de un cálculo. Dado que estas características también las posee la Geometría, la 1. ¿Cuántos años tienes?
Aritmética, las formalizaciones de la Física. 2. Mis amigos tienen suerte
3. “No me gusta tu perfume”
2.5. ENUNCIADOS 4. ¡Sal de ahí!
La lógica proposicional establece las combinaciones válidas de enunciados simples o atómicos 5. Chile es un país sudamericano
y compuestos o moleculares, en argumentos cuya validez queda determinada por la reglas 6. Las gaviotas no son pájaros
deducción. 7. Algunos volcanes están en erupción
8. ¡Ojalá me toque la lotería!
La lógica proposicional o de enunciados trata de la validez formal de los razonamientos, donde 9. “A lo mejor voy a casa de Esteban el sábado”
las premisas y la conclusión son proposiciones (enunciados), tomados en bloque, esto es, sin 10. Amanece muy tarde en invierno
analizar. 11. ¡Gol!

2.5.1. ENUNCIADO SIMPLE: es aquella proposición que no está formado por otros
enunciados y por ello no contiene términos de enlace o conectivas. Cada uno de los enunciados
simples del lenguaje natural se sustituirá por las variables proposicionales simbolizadas
mediante las letras minúsculas: “m”, “n”, “o”, “p”, “q”, “r”, etc. Por ejemplo: “El cobre es
metal”, “Juan es un buen estudiante”, “Quizás lo mejor sea ver todo esto con un ejemplo”, “ Un
cuadrilátero es una figura geométrica con cuatro lados”, etc.
2.5.2. ENUNCIADO COMPUESTO, es un enunciado compuesto por varios enunciados
simples o varios compuestos, enlazados por conectores como: y, o, pero, si……..entonces, sí y
sólo si, no, ni….. ni, una de dos, por lo tanto, etc. Por ejemplo, “el cobre es metal y el oro es un
metal precioso”. La propiedad fundamental de un enunciado compuesto, consiste en que su
valor de verdad se determina completamente por medio del valor de verdad de sus enunciados
simples junto con la forma como ellos se conectan para conformar un enunciado compuesto.
“La única posibilidad que un enunciado simple se convierta en uno compuesto, será
cundo sea negación”.
EJERCICIOS DE APLICACIÓN Nº2
De acuerdo a los siguientes enunciados, indique si son simples (Atómico) o compuestos
(Molecular). Además, para cada enunciado, identifique su o sus variables (p, r, s, t, etc.).
Ejemplo: “Si María canta, entonces es feliz”
Solución: 1º Enunciado compuesto
2º p = María canta
q = María es feliz
1. No fuiste en auto al colegio
2. Juan y Pedro van al cine
3. Muchos estudiantes estudian lógica en el primer año de carrera
4. Sólo cuando María canta es feliz
5. Al final fuimos al cine dos o tres personas.
6. Me voy al cine, pero tú no
6
7. María es feliz cuando canta
8. Gabriel es muy afortunado
9. No es cierto que no te escuche
10. Hoy no se fía, mañana sí
2.6. VOCABULARIO Y OPERADORES DE LA LÓGICA PROPOSICIONAL
La tabla de símbolos con que consta la lógica proposicional serían:
1) VARIABLES O LETRAS ENUNCIATIVAS:
Corresponde convencionalmente con las letras consonantes del alfabeto, en minúscula, a
partir de la “m”, “n”, “o”, “p”, “q”, “r”, etc. Se llaman letras enunciativas, porque sirven
para simbolizar enunciados. Ejemplo: “Llueve”, podría simbolizarse con la letra “p”. Se
denominan variables, porque su contenido varía, ya que por definición pueden representar
cualquier enunciado.
2) CONSTANTES U OPERADORES:
Son signos que denotan relaciones u operaciones lógicas y sirven para establecer
conexiones entre enunciados, sean estos, simples o complejos. Se llaman constantes
lógicas, porque su sentido es fijo (no varía) al representar relaciones lógicas. Entre los
conectores más comunes, utilizados por la lógica proposicional son: Conjunción con el
signo  (“y” del lenguaje natural), Disyunción inclusiva con el signo  (“o” del lenguaje
natural), Condicional con el signo → (que equivale a la expresión del lenguaje natural
“si… entonces…”), y el Bicondicional con el signo ↔, (que corresponde a la expresión del
lenguaje natural “si y sólo si”), entre otros.
3) SIGNOS AUXILIARES:
Paréntesis ( ), corchetes y comas, usados para la formulación de enunciados complejos y
argumentos con varias premisas.
“En las próximas páginas de esta guía de estudio, definiremos cada uno de los conectores
y se presentarán ejemplos de su formalización”
 7
"es imposible ____", nunca, es inconcebible, es mentira, etc. Además de los prefijos negativos:
a, des, in, i.1
2.7. FÓRMULAS Y VALORES DE VERDAD DE LA LÓGICA PROPOSICIONAL También podrían considerarse las negaciones que utilizan antónimos como, por ejemplo,
cuando decimos Pedro es gordo, para negar la expresión Pedro es flaco. (Esto se utilizará
2.7.1. FÓRMULAS: cuando aquellos conceptos estén insertos y ligados dentro del razonamiento o del texto).
En el cálculo lógico, una fórmula es toda expresión bien hecha, según reglas previamente
establecidas. Ejemplo de fórmulas del lenguaje proposicional sería: Ejemplos:
p = Existen hombres inmortales ⌐ p = No existen hombres inmortales
“p”, “r””, “ ⌐ r → p”, “ ( p ↔ q )  r ”, etc. q = Algunos ejercicios son difíciles ⌐q = Algunos ejercicios no son difíciles

Estas fórmulas nos señalan qué símbolos sirve para representar los enunciados simples o EJERCICIOS DE APLICACIÓN Nº3
compuestos. Asimismo, determinan, mediante definiciones y reglas, la forma de operar de los Formalizar y simbolizar las siguientes expresiones. Ejemplo: “No es verdad que el sea una
conectores. estrella”.

2.7.2. VALORES O FUNCIÓN DE VERDAD: Solución:

El valor de verdad de una proposición o enunciado simple, depende de que ella misma sea 1º Formalización: “No es cierto que “.
verdadera o falsa. Ahora, el valor de verdad de un enunciado compuesto, es más bien una 2º Simbolización: ⌐p
función de verdad, ya que depende de ciertas situaciones:
1. No es cierto que lógica sea difícil
1º La forma, o sea, de los conectores que en ella intervienen. Al respecto, serán reglas precisas
para el manejo de cada conector.
2. Pedro no es médico
2º De los valores de verdad de sus proposiciones simples. Más adelante, cuando veamos las
tablas de verdad y su construcción, veremos cómo se calculan las distintas posibilidades que se
pueden presentar en una proposición molecular. 3. No es verdad que todo lo que tú digas sea falso

2.8. LOS CONECTORES LÓGICOS

4. La cuadratura del círculo es imposible
2.8.1. LA NEGACIÓN
Dado cualquier enunciado “p”, podemos conformar otro enunciado, llamado la negación de
“p”, escribiendo, por ejemplo, “Es falso que…”, precediendo a p, o insertando la palabra “no”. 5. No es verdad que el sol no sea una estrella

En simbolización da como resultado “⌐ p”. Si bien es cierto, la negación es sólo un enunciado,

pero al estar negado, está conectado con un operador lógico, considerándose entonces un 6. No sucede que el COLOCOLO no juegue bien
enunciado compuesto.

Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes: "no 7. No ocurre que 2+2 = 5
____", "no es cierto ____", "no es el caso que ____", "es falso que ____", "no es posible ____",
1
El subrayado ( ), estaría reemplazando al enunciado o la proposición, denominándose formalización de enunciados
proposicionales.
 8
2. Ella tiene la linterna, tiene el perfume y la carpa

3. No creo en lo que dices, sin embargo sigo confiando en ti

2.8.2. LA CONJUNCIÓN 4. Ni puedo prohibirlo ni puedo tolerarlo
Es una fórmula molecular o compuesto que se obtiene cuando se conectan dos proposiciones o
enunciados simples, mediante el conector llamado conjunción, y equivale al sentido expresado
con la letra “y” del lenguaje natural, que simbolizamos con .

Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes: 5. La riqueza ayuda a ser feliz, pero la cultura todavía más
“___ y ___", "___ ni ____ni ", " ___ pero ____", " ____que ____", " ____ e ____", " ____
mas ____ ", aunque , además, mientras que, sin embargo, etc. 2.8.3. LA DISYUNCIÓN INCLUSIVA
Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos proposiciones
Ejemplo: “Pedro estudia y Claudio trabaja” o enunciados simples, mediante el conector llamado disyunción inclusiva, y equivale al sentido
1º Identificación de variables: expresado con la letra “o” del lenguaje natural, que simbolizamos con  .
p = Pedro estudia
q = Claudio trabaja La principal posibilidad lingüística que ofrece este conector sería el siguiente:
“ o ", “ u “, “ a menos que “, a no ser que, salvo que, excepto que,
2º Formalización de variables: etc.
“ y “
1º Identificación de variables:
3º Simbolización: p = Descartar los documentos viejos
pq q = Descartar los documentos estropeados

EJERCICIOS DE APLICACIÓN Nº4 2º Simbolización:

Formalizar y simbolizar las siguientes expresiones. Además, identifique variables. pq

Ejemplo: “Estos problemas no son difíciles para mí, aunque he tardado en resolverlos”. 3º Formalización de variables:
“ o “
Solución:
1º Variables: p = Estos problemas son difíciles para mí EJERCICIOS DE APLICACIÓN Nº5
q = Yo he tardado en resolverlos Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.
2º Formalizar: “no , aunque “
3º Simbolizar: “⌐p ^ q“ 1. Luis es un buen jugador o es muy afortunado

1. Los tejados son de adobe y las puertas de madera

2. La música es muy suave o la puerta está cerrada

 9

3. Mi puntuación será alta, salvo que no me haya equivocado

3. O comes lo que hay o te vas a comer al restaurante

4. Hay que llegar antes de las 10 o no quedarán entradas

4. Una de dos, o apruebo el ramo o lo repruebo.

5. Eduardo habla, a menos que su amigo duerma

2.8.4. LA DISYUNCIÓN EXCLUSIVA

Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos proposiciones 2.8.5. EL CONDICIONAL
o enunciados simples, mediante el conector llamado disyunción exclusiva, y equivale al sentido Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos proposiciones
expresado con las letras “o - o” del lenguaje natural, que simbolizamos con  . o enunciados simples, mediante el conector llamado condicional o implicación, y equivale al
sentido expresado en el lenguaje natural como “Si…, entonces”, y se simboliza como p  q.
Las principales posibilidades lingüísticas que ofrece este conector sería el siguiente: Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes:
“o ____ o ____ ", " bien ____ bien ____ ", " ya sea ____ ya sea ____ ", etc. "si ____ entonces ", " ____ luego ____ ", " ____ por tanto ____ ", " ____ en consecuencia ____
", " cuando", " con tal que ", " se demuestra ", " se deriva ", “p implica q”, “Es condición
Ejemplo: "O viajo hoy o viajo mañana” necesaria. q para que p”, “Es condición suficiente p para que q”, etc.
1º Identificación de variables:
p = Yo viajo hoy Ejemplo: "Si un cuerpo se calienta, entonces se dilata".
q = Yo viajo mañana 1º Identificación de variables:
p = Un cuerpo se calienta
2º Formalización de variables: q = Un cuerpo se dilata
“O o “
2º Formalización de variables:
3º Simbolización: “Si , entonces “
p q
3º Simbolización:
EJERCICIOS DE APLICACIÓN Nº6 pq
Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.
EJERCICIOS DE APLICACIÓN Nº 7
1. Ya sea por el estudio, ya sea por la suerte, aprobaré el ramo. Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.

1. Sólo si los perros llevan abrigo, pueden llevar sombrero

2. O yo estoy equivocado o la pregunta Nº1 es verdadera.

 10

2. Si los deseos fueran caballos, entonces los mendigos cabalgarían 2. La naranja es deliciosa cuando y sólo cuando está dulce y jugosa

3. Ser millonario es ser feliz

3. Cuando Pedro llega, se acaba la paz en esta casa 4. Sólo si hoy es jueves, mañana será viernes.

4. Siempre que llueve, hace frío

2.9. REGLAS Y USOS DE PARÉNTESIS DE LA LÓGICA PROPOSICIONAL

5. Para que el país salga adelante, se requiere de mayor inversión
2.8.6. EL BICONDICIONAL
Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos proposiciones
o enunciados simples, mediante el conector llamado Bicondicional o también llamado doble
implicación, y equivale al sentido expresado en el lenguaje natural como “Si y sólo si”, y se
simboliza como p  q.
Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes:
“_____ si y sólo si ____ ", " ____ equivale a _____ ", " ____ es igual a ____ ", " Cuando y sólo
cuando", " es lo mismo que ", “es necesario y suficiente”, “Sólo sí”, etc.
Los conectores, según su posición en las expresiones, pueden ser prefijos o infijos. Un conector
es PREFIJO si va antepuesto o precede a un enunciado como, por ejemplo, la negación. Un
conector es INFIJO cuando está colocado entre dos enunciados, como por ejemplo, la
conjunción, el condicional, el bicondicional y las dos formas de disyunción.
Normas:
1. No se utilizará el paréntesis en aquellos casos en que conectores (prefijos o infijos)
afecten a enunciados simples, como por ejemplo:
a) p
b) p  q
c) p
2. Se utilizará el paréntesis cuando el conector prefijo afecte a toda una conjunción,


Ejemplo: "El agua es líquida si y sólo si el hielo es sólido" disyunciones, condicional o bicondicional, como por ejemplo:
(p  q)


a)
1º Identificación de variables:
p = El agua es líquida (r  s)


b)
q = El hielo es sólido
c) (t  u)
2º Formalización de variables:
“ , si y sólo si, “
3. Se utilizará paréntesis en las expresiones conjuntivas y disyuntivas precedidas o
3º Simbolizar: seguidas de un condicional o bicondicional, como por ejemplo:
p q En lugar de: pq r Se escribirá: (p  q)  r
s t u (s  t)  u
EJERCICIOS DE APLICACIÓN Nº8 p qr
 p  (q  r)
Formalizar y simbolizar las siguientes expresiones. Además, identifique variables. pq r p  (q  r)
1. Gabriela habla, si y sólo si, Eduardo duerme.
4. Se utilizará paréntesis en las expresiones en que el sentido de la expresión exija tal
importancia y fusión. Por ejemplo:
 11
En lugar de: p q r Se puede escribir: p  (q  r)
(p  q)  r 2

2.10. SIMBOLIZACIÓN DE ARGUMENTOS O RAZONAMIENTOS DEDUCTIVOS:

Un argumento o deducción es aquel razonamiento mediante el cual de unos enunciados
iniciales (llamados premisas) se deduce un enunciado final (llamado conclusión)

Los pasos para transformar a lenguaje proposicional este razonamiento deductivo del lenguaje
natural son los siguientes.
1) Identificar las variables del razonamiento.
2) Simbolizar el razonamiento deductivo
3) Utilización de paréntesis
4) Cada premisa debe ser encerrada en paréntesis.
5) El punto seguido del razonamiento deductivo se debe de simbolizar por el conector
conjunción. 2.11. TABLAS DE VERDAD, DEFINICIÓN Y REGLAS DE LOS CONECTORES
6) El punto que antecede a la conclusión “siempre” debe ser simbolizada por un condicional LÓGICOS DE LA LÓGICA PROPOSICIONAL
(por lo tanto, en conclusión, luego, etc.)
2.11.1. CONSTRUCCIÓN TABLA DE VERDAD
Observemos el siguiente razonamiento deductivo: La tabla de verdad es un gráfico que muestra visualmente los valores de verdad que va teniendo
“Si fueras alumno de 1º C conocerías a algún Alejandro. No conoces a ningún Alejandro. una proposición o enunciado compuesto, de acuerdo con las combinaciones de valores de sus
Por lo tanto, podemos concluir que no eres alumno de 1º C”. enunciados simples.
Ahora, siga los pasos y simbolice el razonamiento deductivo:
El valor de verdad de una proposición, enunciado o razonamiento deductivo, depende
exclusivamente del valor de verdad de sus variables, es decir, se llega a conocer el valor de
verdad de un enunciado o un razonamiento deductivo, una vez que el valor de verdad de sus
variables se conoce, junto con los conectores que los hilan.

Para la elaboración de una tabla de verdad se deben seguir los siguientes pasos:
1º Identificar y simbolizar la(s) oración(es) enunciativa(s) en letras o variables proposicionales

2º Las variables se colocan a la izquierda de la tabla y en seguida se escribe la simbolización. O

sea, al lado izquierdo de la tabla, se colocarán todas las variables identificadas, comenzando
convencionalmente con la letra “p”, “q”, “r”, etc., si fuese necesario. Posteriormente, se
simbolizará la o las proposiciones compuestas o de razonamientos deductivos en lenguaje
proposicional.

3º El número de filas, con sus respectivos valores de verdad, que deba tener la tabla, estará
determinada por su número de variables, aplicando la siguiente fórmula:
n
2
Aquí se altera no sólo la dominación, sino también el sentido de la expresión.
 12
2 = Número de filas, donde el Nº “2” representa lo dos valores de verdad que se puede asignar - Podemos observar que la tabla contiene cuatro filas y ello se justifica por cuanto cada
a cada variable y el exponente “n” es el número de variables. proposición tiene dos valores posibles de veracidad y combinándolos tendremos = 2 2 =
2 x 2 = 4 alternativas para el caso de dos proposiciones. Se comprende que si en lugar
4º Cada enunciado tiene dos valores posibles de veracidad (V o F) de 2 proposiciones en la expresión a estudiar participaran 3, la cantidad de filas será 2 3
= 8, etc.
5º Si existen 2 o más enunciados p q pq simples conectados por - Ejemplo: p  q
operadores lógicos, o sea, enunciados V V V compuestos, su valor de verdad
se duplicará o se triplicará, según sea el V F F caso del número de variables.
F V F
6º La colocación del valor de verdad F (V o F) de las variables se
F F
comienza con la última variable identificada, y su número
dependerá del número de variables identificado por la fórmula dada anteriormente.
1) NEGACIÓN:
7º Para calcular los valores de verdad de los conectores se aplica la regla respectiva y se Regla:
comienza con los más interiores. “La negación invierte el valor de la proposición a la que afecta; por lo tanto, si ésta es
verdadera la negación será falsa y viceversa”.
8º El último conector en ser calculado es el que está fuera de todo paréntesis. 3


Ejemplo: 1. p = Esta sustancia es ácida Su tabla de verdad sería la siguiente:
2. q = Esta sustancia contiene hidrógeno p
3. p  q = Esta sustancia es ácida y contiene hidrógeno
p
- Cada una de las proposiciones (Nº1 y Nº2), “TOMADAS POR SEPARADO”, sólo V F
tiene 2 posibilidades de valor de verdad: Vo F, como lo muestra la siguiente tabla de F V
verdad:*
- 2) CONJUNCIÓN:
P Q Regla: La conjunción es verdadera solamente cuando las dos proposiciones que la forman
V son verdaderas.
F
V Tabla de verdad:
F p q pq
V V V
Leamos la tabla fila por fila: V F F
Si p es V y q es V, entonces pq es V F V F
*Esto quiere decir la proposición dada, PUEDE SER verdadera (V) o falsa (F)
Si p es V y q es F, entonces pq es F F F F
Si p es F y q es V, entonces pq es F 2 1 3
- El valor de verdad de la proposición Nº3, depende de los valores de verdad que tengan
sus componentes. Combinando tales valores, pueden resultar 4 posibilidades, como se Si p es F y q es F, entonces pq es F
muestra en la siguiente tabla de verdad:
Interpretación:
La tercera columna, en la primera fila nos dice: “LA CONJUNCIÓN ES VERDADERA
3
En toda cadena de razonamiento deductivo, se termina con la expresión “por lo tanto”, “luego”, “en consecuencia”, “se SOLAMENTE CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON
deduce”, etc., por ende, en la simbolización de enunciados proposicionales, el conector principal o dominante (el que queda VERDADERAS”. Por lo tanto, "Pedro estudia y Claudio trabaja" será verdadero si
fuera de todo paréntesis) deberá ser un condicional.
 13
efectivamente "Pedro estudia" y "Claudio trabaja". Si cualquiera de estas proposiciones es F F F
falsa, es falso afirmar que "Juan estudia y Pedro trabaja".

Leamos la tabla fila por fila:

3) DISYUNCIÓN INCLUSIVA: Si p es V y q es V, entonces p  q es F
Regla: La disyunción inclusiva es falsa, únicamente cuando las dos proposiciones que la Si p es V y q es F, entonces p  q es V
forman son falsas. Si p es F y q es V, entonces p  q es V
Cuando afirmamos "Descartemos los documentos viejos o estropeados"; queremos significar Si p es F y q es F, entonces p  q es F
que si un documento es viejo, será descartado; si el documento está estropeado, será
descartado; y si el documento es viejo y está estropeado, también será descartado. Se incluyen Interpretación:
aquí las tres posibilidades. La tercera columna, en la segunda y tercera fila nos dice: “LA DISYUNCIÓN EXCLUSIVA
Tabla de verdad: ES VERDADERA SOLAMENTE CUANDO LAS DOS
PROPOSICIONES QUE LA FORMAN p q pq TIENEN
DISTINTO VALOR DE VERDAD Y SERÁ V V V FALSA
CUANDO ESAS DOS PROPOSICIONES V F V TENGAN EL
MISMO VALOR DE VERDAD”. Por lo tanto, F V V en este caso (se
supone viaje de ida únicamente), si viajo hoy F F F queda
descartado que no viajaré mañana; de igual modo si la decisión la tomo mañana; es decir no
está incluida la tercera posibilidad.
Leamos la tabla fila por fila:
Si p es V y q es V, entonces pq es V 5) CONDICIONAL:
Si p es V y q es F, entonces pq es V Regla: El condicional siempre es verdadero, excepto cuando, siendo el antecedente
Si p es F y q es V, entonces pq es V verdadero, el consecuente sea falso.
Si p es F y q es F, entonces pq es F
4º Tabla de verdad: p q pq
Interpretación: V V V
La tercera columna, en la última fila nos dice: “LA DISYUNCIÓN INCLUSIVA ES FALSA, Leamos la tabla fila por fila: V F F
CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON FALSAS. Por lo tanto, Si p es V y q es V, entonces p  q es V F V V
"descartar los documentos viejos o estropeados” será falso si efectivamente "los documentos no Si p es V y q es F, entonces p  q es F F F V
son viejos" y "los documentos no están estropeados ". Si cualquiera de estas proposiciones es Si p es F y q es V, entonces p  q es V
verdadera, es verdadero afirmar que "los documentos viejos o estropeados se descartarán”. Si p es F y q es F, entonces p  q es V

4) DISYUNCIÓN EXCLUSIVA: Interpretación:

Regla: La disyunción exclusiva es verdadera cuando sus las dos proposiciones que la La tercera columna, en la segunda fila nos dice: “EN UN CONDICIONAL NO ES POSIBLE
forman tienen valores de verdad diferentes, es decir, una es verdadera y la otra falsa. LA CONCURRENCIA DEL ANTECEDENTE CON LA NEGACIÓN DEL
CONSECUENTE, EN OTRAS PALABRAS SIEMPRE QUE LA PRIMERA
Tabla de verdad: AFIRMACIÓN SEA VERDADERA, LA SEGUNDA TAMBIÉN LO SERÁ.”Por lo tanto,
p q p q en el caso del ejemplo que expresa una ley física, no será verdadero que si un cuerpo se
V V F caliente, pero que no se dilate.
V F V
F V V
 14
6) BICONDICIONAL Estudiemos algunas tautologías. Consideremos los principios lógicos fundamentales: principio
Regla: Es verdadera cuando los dos enunciados simples que la componen tienen el mismo de identidad, de no contradicción y de tercero excluido.
valor de verdad, es decir, cuando los dos sean verdaderos o cuando los dos sean falsos. En  Principio de Identidad: “Toda cosa u objeto es idéntico a sí mismo” y se expresa
caso contrario, es falsa. con p  p. Su tabla será:
Tabla de verdad:
p P q p q p
P
V V V p
V V F V F V
F F V F F V

 
F F V  Principio de no contradicción: “Una cosa u objeto no puede ser y no ser al mismo
tiempo y en el mismo sentido” y se expresa con  p( p)  . Su tabla es la
Leamos la tabla fila por fila:
Si p es V y q es V, entonces p  q es V siguiente:
Si p es V y q es F, entonces p  q es F
Si p es F y q es V, entonces p  q es V
Si p es F y q es F, entonces p  q es V
p
   
p p(
)
p  p(

p)

V F F V
F V F V

Interpretación
La tercera columna, en la primera y la cuarta fila nos dice: “EL BICONDICIONAL SERÁ
VERDADERO CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN TENGAN
 Principio de tercero excluido: “Una cosa es o no es, no hay una tercera
EL MISMO VALOR DE VERDAD. Por lo tanto, cuando el agua será líquida si el hielo es
sólido o cuando el agua no sea líquida, es porque tampoco el hielo será sólido”. posibilidad” y se expresa con p  (p). Su tabla es la siguiente:

2.12. TIPOS FUNDAMENTALES DE ENUNCIADOS.

Fundamentalmente la lógica de proposiciones se utiliza para decidir si un razonamiento, en
donde intervienen enunciados complejos como premisas, es verdadero o falso. Para ello se
p
 p p( 
)
p

aplican sistemáticamente las tablas establecidas. En los enunciados complejos se utilizan

V F V
paréntesis adecuadamente colocados para evitar situaciones equívocas.
F V V
Entre estos razonamientos distinguimos:
Tautología, razonamientos siempre verdaderos; enunciados contradictorios, siempre falsos y
contingencias, razonamientos a veces verdaderos y a veces falsos.
Como puede observarse, la última columna de estas tres tablas indica que las proposiciones
2.12.1. Tautologías. Son fórmulas compuestas que siempre son verdaderas para cualquier correspondientes son tautología, de acuerdo con la definición dada.
interpretación, esto es, universalmente válida en virtud de su forma, independiente de su valor
de verdad asignado a sus componentes o variables. Ellas son fundamentales para instaurar las 2.12.2. Enunciados contradictorios. Son fórmulas compuestas que siempre resultan falsas,
pruebas en el llamado cálculo de proposiciones. para cualquier interpretación, esto es, universalmente o formalmente falsa, independiente del
S valor de verdad de sus componentes simples. Son todos aquellos cuya tabla de verdad contiene
en su última columna solo valores falsos (F).
 
15
Estudiemos por ejemplo el siguiente enunciado ((pq)  p), que podríamos expresarlo en 2.13. DEMOSTRACIÓN FORMAL DE LOS ARGUMENTOS
Los seres humanos, en nuestra vida diaria, utilizamos constantemente el razonamiento
lenguaje corriente con "no es verdad que pq implique p". Su tabla será: deductivo: partimos de enunciados empíricos (supuestamente verdaderos), para concluir en otro
enunciado que se deriva de aquellos. Por ello, uno de los objetivos principales de la lógica es


proporcionar los elementos necesarios para comprobar la validez y la veracidad de un
p q pq (pq)  ((pq)  argumento o razonamiento deductivo, convirtiendo las operaciones deductivas en un cálculo

 
p riguroso y eficaz.
p q p) El argumento es una serie de proposiciones o enunciados, de las cuales la última, se llama
q p( q)
V V V V F CONCLUSIÓN y se deriva de las anteriores, llamadas premisas. La validez de un argumentado
V V F
V F F F V F no depende de su contenido. Sino exclusivamente de su forma.
V F V
F V V F V F Finalmente, probaremos aquí, con toda la metodología expuesta, aquellos razonamientos
F V F F F F V F deductivos que sean verdaderos (tautologías), aquellos falsos (contradicción) y los que sean
F F V
2 1 F 3 4 5 improbables poder demostrar su validez (indeterminación o contingencias).
2 1 3 4

2.12.3. Enunciados contingentes o indeterminados. Es una proposición cuyos valores de

verdad ni son todos V ni son todos F. O sea, no es ni universalmente verdadera (tautología) ni 2.14. CUADRO RESUMEN DE LA LÓGICA PROPOSICIONAL
universalmente falsa (contradicción) Nombre Lecturas lingüística Tablas de Verdad Reglas

  
En estos casos las tablas de verdad contienen en la columna final valores V y F. Veamos un posibles
"Invierte el valor de la
ejemplo, elaborando la tabla de verdad de la siguiente proposición p  ( q) " P" , "- p" P
PP que le afecta; por lo
Negación Posibilidades: "no ____", p tanto, si ésta es V la
"no es cierto ____", "no es V F negación será F y
el caso que ____", "es falso F V viceversa".
que ____", "no es posible
____", "es imposible ____",
etc.
"p  q" P q p  q "Es V únicamente
Posibilidades: " ___ y ___", V V V cuando sus 2
Conjunción "___ ni ____", " ___ pero V F F componentes son V, en
____", " ____que ____", " F V F los demás casos es F".
____ e ____", " ____ mas F F F
 16
____ ", etc.
"P v q " P q p v q "Es F únicamente
V V V cuando sus 2 alternativas
Disyunción Posibilidades: " ___ o ___ " V F V son F".
Inclusiva F V V
F F F

"p v q" P q p v q "Es V cuando sus 2

Disyunción Posibilidades: " o ____ o V V F alternativas tienen
Exclusiva ____ ", " bien ____ bien V F V valores diferentes, es
____ ", " ya ____ ya ____ ", F V V decir, una es V la otra F".
etc. F F F

“p  q” p q p  q "Siempre es V, excepto
Posibilidades: "si ____ V V V cuando, siendo el
entonces ", " ____ luego V F F antecedente V, el
____ ", " ____ por tanto F V V consecuente es F".
Condicional ____ ", " ____ en F F V
consecuencia ____ ", "
cuando", " con tal que ", "
____ se demuestra ____ ", "
____ se deriva ____ ", etc.
"pp" P q p  "Es V cuando sus 2
Posibilidades: " _____ si y p miembros tienen el
sólo si ____ ", " ____ V V V mismo valor, es decir,
Bicondicional equivale a _____ ", " ____ V F F los 2 son V o los 2 son F;
es igual a ____ ", " _____ F V F en caso contrario es F".
vale por _____ ", " _____ es F F V
lo mismo que _____ ", etc.