1
COLEGIO PRECIOSA SANGRE
PURRANQUE
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 silogismo es: "Todos los hombres son mortales; Sócrates es un hombre;
por lo tanto, Sócrates 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
2
quemarnos. La lógica es un uso especial del lenguaje que está relacionado con el sentido y la
exactitud de lo que decimos.
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. LA 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. EL 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.5.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.
1.5.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?
1.6. 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.
3
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.
1.7. LA LÓGICA COMO LENGUAJE FORMAL
Es 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.
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.
La lógica establece para cada variable el nombre de ENUNCIADO (oración enunciativa) y
se le va a simbolizar con la letra “p”, que puede traducir cualquier enunciado afirmativo,
como por ejemplo, “París es una ciudad” o “la casa es roja”.
Existen dos tipos de enunciados: simples y compuestos. Por la relevancia que tienen, se
tratarán en capítulo aparte.
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, operadores
lógicos o CONECTORES. En lógica, el conector llamado “conjunción” (^) o el
“condicional” ( ) que enlazan una variable con otras.
Igual que los enunciados, por la relevancia que tienen los conectores, se tratarán en capítulo
aparte.
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.
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.
4
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
En el lenguaje natural, la conclusión de los razonamientos viene introducida por expresiones
como: “POR LO TANTO”, “LUEGO”, “EN CONSECUENCIA”, “SE DEDUCE
QUE”, etc.
Por ejemplo:
“Le dije que si me prestaba un libro, me distraería durante el viaje, y él me lo prestó.
Puedes deducir que he tenido un viaje muy distraído”.
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.
La lógica se ocupa de la estructura del razonamiento, viendo que dicho razonamiento sea
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 otra óptica. El razonamiento del ejemplo anterior tiene esa estructura. Su estructura
sería:
Si ocurre X, entonces sucederá Y
Ocurre X,
Luego, sucederá Y.
Este tipo de estructura es aplicable a una infinidad de razonamientos, sean cuales quieran sus
contenidos.
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.
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 conclusión se deriva rigurosamente de las premisas, de manera que es
imposible que alguien mantenga las premisas y niegue la conclusión sin
contradecirse.
Ahora, la lógica es un lenguaje formal, porque dispone de símbolos formales (constantes y
variables), de unas reglas de transformación de fórmulas que permiten operar con ellas con la
eficacia de un cálculo. Dado que estas características también las posee la Geometría, la
Aritmética, las formalizaciones de la Física.
 5
1.7.1. LOS ENUNCIADOS PROPOSICIONALES 2. Mis amigos tienen suerte
3. “No me gusta tu perfume”
La lógica proposicional establece las combinaciones válidas de enunciados simples o 4. ¡Sal de ahí!
atómicos y compuestos o moleculares, en argumentos cuya validez queda determinada por la 5. Chile es un país sudamericano
reglas deducción. 6. Las gaviotas no son pájaros
7. Algunos volcanes están en erupción
La lógica proposicional o de enunciados trata de la validez formal de los razonamientos, 8. ¡Ojalá me toque la lotería!
donde las premisas y la conclusión son proposiciones (enunciados), tomados en bloque, esto 9. “A lo mejor voy a casa de Esteban el sábado”
es, sin analizar. 10. Amanece muy tarde en invierno
11. ¡Gol!
Un enunciado es tomado en bloque cuando se prescinde de los elementos que lo integran y
pasa a ser considerado como un todo (una unidad lingüística), pudiendo ser V o F. 1.7.1.1. ENUNCIADO SIMPLE: es aquella proposición que no está formado por otros
Ejemplo: El enunciado “Todos los hombres son mortales” enunciados y por ello no contiene términos de enlace o conectivas. Cada uno de los
Desde el punto de vista de la lógica de predicados, sufriría la siguiente enunciados simples del lenguaje natural se sustituirá por las variables proposicionales
interpretación: Para todos los casos de X, si X tiene la propiedad de ser simbolizadas mediante las letras minúsculas: “m”, “n”, “o”, “p”, “q”, “r”, etc. Por ejemplo:
hombre, entonces X tiene la propiedad de ser mortal. “El cobre es metal”, “Juan es un buen estudiante”, “Quizás lo mejor sea ver todo esto con un
Si observamos, la interpretación atiende a la estructura interna del enunciado. ejemplo”, “Un cuadrilátero es una figura geométrica con cuatro lados”, etc.

En cambio, si tomamos el enunciado en bloque, prescindimos e analizar su estructura interna 1.7.1.2. ENUNCIADO COMPUESTO, es un enunciado compuesto por varios enunciados
y lo simbolizamos con una letra consonante (variable), como “p”, “q”, “r”, “s”, etc. 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
Un enunciado es una colección de símbolos, que es verdadera o falsa, pero no verdadera o es un metal precioso”. La propiedad fundamental de un enunciado compuesto, consiste en
falsa simultáneamente. 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
Ejemplos: compuesto. “La única posibilidad que un enunciado simple se convierta en uno
1) “Todos los hombres son mortales” = p Enunciado verdadero compuesto, será cundo sea negación”.
2) “París está en Inglaterra” = r Enunciado falso
3) “El oro es un metal precioso” = s Enunciado verdadero EJERCICIOS DE APLICACIÓN Nº2
4) “¿A dónde va UD.?” No es enunciado, porque no es verdadero De acuerdo a los siguientes enunciados, indique si son simples (Atómico) o compuestos
ni falso. (Molecular). Además, para cada enunciado, identifique su o sus variables (p, r, s, t, etc.).
Ejemplo: “Si María canta, entonces es feliz”
5) “Escriba su trabajo en el cuaderno” No es enunciado, porque no es verdadero ni falso. Solución: 1º Enunciado compuesto
2º p = María canta
Su sencillez radica en que ella se limita a analizar y estudiar sistemáticamente aquellos q = María es feliz
razonamientos cuya validez no depende de la estructura interna de sus enunciados. 1. No fuiste en auto al colegio

EJERCICIOS DE APLICACIÓN Nº1 2. Juan y Pedro van al cine

De acuerdo a las siguientes oraciones, identifique las que son enunciativas (enunciados), 3. Muchos estudiantes estudian lógica en el primer año de carrera
indicando si son Verdaderos (V) o Falsos (F).
1. ¿Cuántos años tienes?

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
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í
UNIDAD II. OPERATIVIDAD DE LA LÓGICA SIMBÓLICA O PROPOSICIONAL:
2.1. 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.
6
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”
2.2. FÓRMULAS Y VALORES DE VERDAD DE LA LÓGICA PROPOSICIONAL
2.2.1. FÓRMULAS:
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:
“p”, “r””, “ ⌐ r → p”, “ ( p ↔ q )  r ”, etc.
Estas fórmulas nos señalan qué símbolos sirve para representar los enunciados simples o
compuestos. Asimismo, determinan, mediante definiciones y reglas, la forma de operar de
los conectores.
2.2.2. VALORES O FUNCIÓN DE VERDAD:
El valor de verdad de una proposición o enunciado simple, depende de que ella misma sea
verdadera o falsa. Ahora, el valor de verdad de un enunciado compuesto, es más bien una
función de verdad, ya que depende de ciertas situaciones:
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º 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.
2.3. LOS CONECTORES LÓGICOS
 7
2.3.1. LA NEGACIÓN
Dado cualquier enunciado “p”, podemos conformar otro enunciado, llamado la negación de 4. La cuadratura del círculo es imposible
“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 enunciado compuesto. 6. No sucede que el COLOCOLO no juegue bien

Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes: "no
____", "no es cierto ____", "no es el caso que ____", "es falso que ____", "no es posible
____", "es imposible ____", nunca, es inconcebible, es mentira, etc. Además de los prefijos 7. No ocurre que 2+2 = 5
negativos: a, des, in, i.1
También podrían considerarse las negaciones que utilizan antónimos como, por ejemplo, 2.3.2. LA CONJUNCIÓN
cuando decimos Pedro es gordo, para negar la expresión Pedro es flaco. (Esto se utilizará Es una fórmula molecular o compuesto que se obtiene cuando se conectan dos proposiciones
cuando aquellos conceptos estén insertos y ligados dentro del razonamiento o del texto). o enunciados simples, mediante el conector llamado conjunción, y equivale al sentido
expresado con la letra “y” del lenguaje natural, que simbolizamos con .
Ejemplos:
p = Existen hombres inmortales ⌐ p = No existen hombres inmortales Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes:
q = Algunos ejercicios son difíciles ⌐q = Algunos ejercicios no son difíciles “___ y ___", "___ ni ____ni ", " ___ pero ____", " ____que ____", " ____ e ____", "
____ mas ____ ", aunque , además, mientras que, sin embargo,
EJERCICIOS DE APLICACIÓN Nº3 etc.
Formalizar y simbolizar las siguientes expresiones. Ejemplo: “No es verdad que el sea una
estrella”. Ejemplo: “Pedro estudia y Claudio trabaja”
1º Identificación de variables:
Solución: p = Pedro estudia
1º Formalización: “No es cierto que “. q = Claudio trabaja
2º Simbolización: ⌐p
2º Formalización de variables:
1. No es cierto que lógica sea difícil “ y “

3º Simbolización:
2. Pedro no es médico pq

EJERCICIOS DE APLICACIÓN Nº4

3. No es verdad que todo lo que tú digas sea falso Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.

Ejemplo: “Estos problemas no son difíciles para mí, aunque he tardado en resolverlos”.
1
El subrayado ( ), estaría reemplazando al enunciado o la proposición, denominándose formalización de enunciados
proposicionales. Solución:
1º Variables: p = Estos problemas son difíciles para mí
 8
q = Yo he tardado en resolverlos EJERCICIOS DE APLICACIÓN Nº5
2º Formalizar: “no , aunque “ Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.
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

2. Ella tiene la linterna, tiene el perfume y la carpa

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

3. No creo en lo que dices, sin embargo sigo confiando en ti 4. Hay que llegar antes de las 10 o no quedarán entradas

4. Ni puedo prohibirlo ni puedo tolerarlo

5. Eduardo habla, a menos que su amigo duerma

5. La riqueza ayuda a ser feliz, pero la cultura todavía más

2.3.3. LA DISYUNCIÓN INCLUSIVA 2.3.4. LA DISYUNCIÓN EXCLUSIVA

Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos
proposiciones o enunciados simples, mediante el conector llamado disyunción inclusiva, y proposiciones o enunciados simples, mediante el conector llamado disyunción exclusiva, y
equivale al sentido expresado con la letra “o” del lenguaje natural, que simbolizamos con  equivale al sentido expresado con las letras “o - o” del lenguaje natural, que simbolizamos
. con  .

La principal posibilidad lingüística que ofrece este conector sería el siguiente: Las principales posibilidades lingüísticas que ofrece este conector sería el siguiente:
“ o ", “ u “, “ a menos que “, a no ser que, salvo que, excepto “o ____ o ____ ", " bien ____ bien ____ ", " ya sea ____ ya sea ____ ", etc.
que, etc.
Ejemplo: "O viajo hoy o viajo mañana”
1º Identificación de variables: 1º Identificación de variables:
p = Descartar los documentos viejos p = Yo viajo hoy
q = Descartar los documentos estropeados q = Yo viajo mañana

2º Simbolización: 2º Formalización de variables:

pq “O o “

3º Formalización de variables: 3º Simbolización:

“ o “ p q
 9
EJERCICIOS DE APLICACIÓN Nº6
Formalizar y simbolizar las siguientes expresiones. Además, identifique variables. EJERCICIOS DE APLICACIÓN Nº 7
Formalizar y simbolizar las siguientes expresiones. Además, identifique variables.
1. Ya sea por el estudio, ya sea por la suerte, aprobaré el ramo.
1. Sólo si los perros llevan abrigo, pueden llevar sombrero

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

2. Si los deseos fueran caballos, entonces los mendigos cabalgarían

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

3. Cuando Pedro llega, se acaba la paz en esta casa

4. Una de dos, o apruebo el ramo o lo repruebo. 4. Siempre que llueve, hace frío

5. Para que el país salga adelante, se requiere de mayor inversión

2.3.5. EL CONDICIONAL
Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos 2.3.6. EL BICONDICIONAL
proposiciones o enunciados simples, mediante el conector llamado condicional o Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos
implicación, y equivale al sentido expresado en el lenguaje natural como “Si…, entonces”, y proposiciones o enunciados simples, mediante el conector llamado Bicondicional o también
se simboliza como p  q. llamado doble implicación, y equivale al sentido expresado en el lenguaje natural como “Si y
Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes: sólo si”, y se simboliza como p  q.
"si ____ entonces ", " ____ luego ____ ", " ____ por tanto ____ ", " ____ en consecuencia
____ ", " cuando", " con tal que ", " se demuestra ", " se deriva ", “p implica q”, “Es Las principales posibilidades lingüísticas que ofrece este conector serían las siguientes:
condición necesaria. q para que p”, “Es condición suficiente p para que q”, etc. “_____ 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.
Ejemplo: "Si un cuerpo se calienta, entonces se dilata".
1º Identificación de variables: Ejemplo: "El agua es líquida si y sólo si el hielo es sólido"
p = Un cuerpo se calienta
q = Un cuerpo se dilata 1º Identificación de variables:
p = El agua es líquida
2º Formalización de variables: q = El hielo es sólido
“Si , entonces “
2º Formalización de variables:
3º Simbolización: “ , si y sólo si, “
pq
3º Simbolizar:
 10
p q
EJERCICIOS DE APLICACIÓN Nº8
Formalizar y simbolizar las siguientes expresiones. Además, identifique variables. 3. Se utilizará paréntesis en las expresiones conjuntivas y disyuntivas precedidas o
1. Gabriela habla, si y sólo si, Eduardo duerme. seguidas de un condicional o bicondicional, como por ejemplo:
En lugar de: pq r Se escribirá: (p  q)  r
s t u (s  t)  u
pq r p  (q  r)
2. La naranja es deliciosa cuando y sólo cuando está dulce y jugosa pq r p  (q  r)

4. Se utilizará paréntesis en las expresiones en que el sentido de la expresión exija tal

3. Ser millonario es ser feliz importancia y fusión. Por ejemplo:
En lugar de: p q r Se puede escribir: p  (q  r)
(p  q)  r 2
2.5. SIMBOLIZACIÓN DE ARGUMENTOS O RAZONAMIENTOS DEDUCTIVOS:
4. Sólo si hoy es jueves, mañana será viernes. 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)

2.4. REGLAS Y USOS DE PARÉNTESIS DE LA LÓGICA PROPOSICIONAL
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
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.
6) El punto que antecede a la conclusión “siempre” debe ser simbolizada por un condicional
(por lo tanto, en conclusión, luego, etc.)
Observemos el siguiente razonamiento deductivo:
“Si fueras alumno de 1º C conocerías a algún Alejandro. No conoces a ningún
Alejandro. Por lo tanto, podemos concluir que no eres alumno de 1º C”.
Ahora, siga los pasos y simbolice el razonamiento deductivo:

2. Se utilizará el paréntesis cuando el conector prefijo afecte a toda una conjunción,


disyunciones, condicional o bicondicional, como por ejemplo:
(p  q)


a)

(r  s)


b)

c) (t  u)
2
Aquí se altera no sólo la dominación, sino también el sentido de la expresión.
 11
7º Para calcular los valores de verdad de los conectores se aplica la regla respectiva y se
comienza con los más interiores.
2.6. TABLAS DE VERDAD, DEFINICIÓN Y REGLAS DE LOS CONECTORES 8º El último conector en ser calculado es el que está fuera de todo paréntesis. 3
LÓGICOS DE LA LÓGICA PROPOSICIONAL Ejemplo: 1. p = Esta sustancia es ácida
2. q = Esta sustancia contiene hidrógeno
2.6.1. CONSTRUCCIÓN TABLA DE VERDAD 3. p  q = Esta sustancia es ácida y contiene hidrógeno
La tabla de verdad es un gráfico que muestra visualmente los valores de verdad que va
teniendo una proposición o enunciado compuesto, de acuerdo con las combinaciones de - Cada una de las proposiciones (Nº1 y Nº2), “TOMADAS POR SEPARADO”, sólo
valores de sus enunciados simples. tiene 2 posibilidades de valor de verdad: V o F, como lo muestra la siguiente tabla de
verdad:*
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 P Q
verdad de un enunciado o un razonamiento deductivo, una vez que el valor de verdad de sus V
variables se conoce, junto con los conectores que los hilan. F
*Esto quiere decir la proposición dada, PUEDE SER verdadera (V) o falsa (F)
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
- El valor de verdad de la proposición Nº3, depende de los valores de verdad que
proposicionales
tengan sus componentes. Combinando tales valores, pueden resultar 4 posibilidades,
como se muestra en la siguiente tabla de verdad:
2º Las variables se colocan a la izquierda de la tabla y en seguida se escribe la simbolización.
- Podemos observar que la tabla contiene cuatro filas y ello se justifica por cuanto
O sea, al lado izquierdo de la tabla, se colocarán todas las variables identificadas,
cada proposición tiene dos valores posibles de veracidad y combinándolos
comenzando convencionalmente con la letra “p”, “q”, “r”, etc., si fuese necesario.
tendremos = 22 = 2 x 2 = 4 alternativas para el caso de dos proposiciones. Se
Posteriormente, se simbolizará la o las proposiciones compuestas o de razonamientos
comprende que si en lugar de 2 proposiciones en la expresión a estudiar participaran
deductivos en lenguaje proposicional.
3, la cantidad de filas será 23 = 8, etc.
- Ejemplo: p  q
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:
1) NEGACIÓN:
n
Regla:
2 = Número de filas, donde el Nº “2” representa lo dos valores de verdad que se puede
“La negación invierte el valor de la proposición a la que afecta; por lo tanto, si ésta es
asignar a cada variable y el exponente “n” es el número de variables.
verdadera la negación será falsa y viceversa”.
4º Cada enunciado tiene dos valores posibles de veracidad (V o F)


Su tabla de verdad sería la siguiente:
5º Si existen 2 o más enunciados simples conectados por operadores lógicos, o sea, p
enunciados compuestos, su valor de verdad se duplicará o se triplicará, según sea el caso del p
número de variables.
V F
F V
6º La colocación del valor de verdad (V o F) de las variables se comienza con la última
variable identificada, y su número dependerá del número de variables identificado por la
fórmula dada anteriormente. 3
En toda cadena de razonamiento deductivo, se termina con la expresión “por lo tanto”, “luego”, “en consecuencia”, “se
deduce”, etc., por ende, en la simbolización de enunciados proposicionales, el conector principal o dominante (el que
queda fuera de todo paréntesis) deberá ser un condicional.
 12

2) CONJUNCIÓN: Interpretación:
Regla: La conjunción es verdadera solamente cuando las dos proposiciones que la La tercera columna, en la última fila nos dice: “LA DISYUNCIÓN INCLUSIVA ES
forman son verdaderas. FALSA, CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON FALSAS.
Por lo tanto, "descartar los documentos viejos o estropeados” será falso si efectivamente "los
Tabla de verdad: documentos no son viejos" y "los documentos no están estropeados ". Si cualquiera de estas
proposiciones es verdadera, es verdadero afirmar que "los documentos viejos o estropeados
p q pq se descartarán”.
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 4) DISYUNCIÓN EXCLUSIVA:
F V F Regla: La disyunción exclusiva es verdadera cuando sus las dos proposiciones que la
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 forman tienen valores de verdad diferentes, es decir, una es verdadera y la otra falsa.
Si p es F y q es F, entonces pq es F
Tabla de verdad:
Interpretación: p q p q
La tercera columna, en la primera fila nos dice: “LA CONJUNCIÓN ES VERDADERA V V F
SOLAMENTE CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON V F V
VERDADERAS”. Por lo tanto, "Pedro estudia y Claudio trabaja" será verdadero si F V V
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".

3) DISYUNCIÓN INCLUSIVA: Leamos la tabla fila por fila:

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

2.7. DEMOSTRACIÓN FORMAL DE LOS ARGUMENTOS

4º Tabla de verdad: Los seres humanos, en nuestra vida diaria, utilizamos constantemente el razonamiento
p q pq deductivo: partimos de enunciados empíricos (supuestamente verdaderos), para concluir en
Leamos la tabla fila por fila: V V V otro enunciado que se deriva de aquellos. Por ello, uno de los objetivos principales de la
Si p es V y q es V, entonces p  q es V V F F lógica es proporcionar los elementos necesarios para comprobar la validez y la veracidad de
Si p es V y q es F, entonces p  q es F F V V un argumento o razonamiento deductivo, convirtiendo las operaciones deductivas en un
Si p es F y q es V, entonces p  q es V F F V cálculo riguroso y eficaz.
Si p es F y q es F, entonces p  q es V
El argumento es una serie de proposiciones o enunciados, de las cuales la última, se llama
Interpretación: CONCLUSIÓN y se deriva de las anteriores, llamadas premisas. La validez de un
La tercera columna, en la segunda fila nos dice: “EN UN CONDICIONAL NO ES argumentado no depende de su contenido. Sino exclusivamente de su forma.
POSIBLE LA CONCURRENCIA DEL ANTECEDENTE CON LA NEGACIÓN DEL Finalmente, probaremos aquí, con toda la metodología expuesta, aquellos razonamientos
CONSECUENTE, EN OTRAS PALABRAS SIEMPRE QUE LA PRIMERA deductivos que sean verdaderos (tautologías), aquellos falsos (contradicción) y los que sean
AFIRMACIÓN SEA VERDADERA, LA SEGUNDA TAMBIÉN LO SERÁ.”Por lo improbables poder demostrar su validez (indeterminación o contingencias).
tanto, en el caso del ejemplo que expresa una ley física, no será verdadero que si un cuerpo Fundamentalmente la lógica de proposiciones se utiliza para decidir si un razonamiento, en
se caliente, pero que no se dilate. donde intervienen enunciados complejos como premisas, es verdadero o falso. Para ello se
aplican sistemáticamente las tablas establecidas. En los enunciados complejos se utilizan
6) BICONDICIONAL paréntesis adecuadamente colocados para evitar situaciones equívocas.
Regla: Es verdadera cuando los dos enunciados simples que la componen tienen el Entre estos razonamientos distinguimos:
mismo valor de verdad, es decir, cuando los dos sean verdaderos o cuando los dos sean Tautología, razonamientos siempre verdaderos; enunciados contradictorios, siempre falsos
falsos. En caso contrario, es falsa. y contingencias, razonamientos a veces verdaderos y a veces falsos.
Tabla de verdad:
p q
p q 2.7.1. TAUTOLOGÍAS:
Son fórmulas compuestas que siempre son verdaderas para cualquier interpretación, esto es,
V V V
universalmente válida en virtud de su forma, independiente de su valor de verdad asignado a
V F F
sus componentes o variables. Ellas son fundamentales para instaurar las pruebas en el
F V F llamado cálculo de proposiciones.
F F V
Estudiemos algunas tautologías. Consideremos los principios lógicos fundamentales:
Leamos la tabla fila por fila: principio de identidad, de no contradicción y de tercero excluido.
Si p es V y q es V, entonces p  q es V  Principio de Identidad: “Toda cosa u objeto es idéntico a sí mismo” y se expresa
Si p es V y q es F, entonces p  q es F con p  p. Su tabla será:
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

Interpretación
 14

  
 Principio de no contradicción: “Una cosa u objeto no puede ser y no ser al En estos casos las tablas de verdad contienen en la columna final valores V y F. Veamos un
mismo tiempo y en el mismo sentido” y se expresa con  p( p)  . Su ejemplo, elaborando la tabla de verdad de la siguiente proposición p  ( q)
tabla es la siguiente:

p
 p p(
)
  
p  p(

p)
2.8. CUADRO RESUMEN DE LA LÓGICA PROPOSICIONAL
Nombre Lecturas lingüística Tablas de Verdad Reglas

 
V F F V posibles
F V F V "Invierte el valor de la
" 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
 Principio de tercero excluido: “Una cosa es o no es, no hay una tercera viceversa".
el caso que ____", "es falso F V
posibilidad” y se expresa con p  (p). Su tabla es la siguiente: que ____", "no es posible
____", "es imposible ____",
Como puede observarse, la última columna de estas tres tablas indica que las proposiciones etc.
correspondientes son tautología, de acuerdo con la definición dada. "p  q" P q p  q "Es V únicamente
Posibilidades: " ___ y ___", V V V cuando sus 2
2.7.2. ENUNCIADOS CONTRADICTORIOS. Conjunción "___ ni ____", " ___ pero V F F componentes son V, en
Son fórmulas compuestas que siempre resultan falsas, para cualquier interpretación, esto es, ____", " ____que ____", " F V F los demás casos es F".
universalmente o formalmente falsa, independiente del valor de verdad de sus componentes ____ e ____", " ____ mas F F F
simples. Son todos aquellos cuya tabla de verdad contiene en su última columna solo valores ____ ", etc.


falsos (F). "P v q " P q p v q “Es falso únicamente
V V V cuando sus 2
Estudiemos por ejemplo el siguiente enunciado ((pq)  p), que podríamos expresarlo Disyunción Posibilidades: " ___ o ___ " V F V componentes son F”
Inclusiva F V V
en lenguaje corriente con "no es verdad que pq implique p". Su tabla será: F F F

p q pq (pq)
p

 ((pq) 
p)
Disyunción
Exclusiva
"p v q"
Posibilidades: " o ____ o
____ ", " bien ____ bien
P
V
V
q
V
F
p v q "Es V cuando sus 2
F
V
alternativas tienen
valores diferentes, es
V V V V F ____ ", " ya ____ ya ____ ", F V V decir, una es V la otra F".
V F F V F etc. F F F
F V F V F
F F F V F “p  q” p q p  q "Siempre es V, excepto
2 1 3 4 5 Posibilidades: "si ____ V V V cuando, siendo el
entonces ", " ____ luego V F F antecedente V, el
2.7.3. ENUNCIADOS CONTINGENTES O INDETERMINADOS: ____ ", " ____ por tanto F V V consecuente es F".
Es una proposición cuyos valores de verdad ni son todos V ni son todos F. O sea, no es ni Condicional ____ ", " ____ en F F V
universalmente verdadera (tautología) ni universalmente falsa (contradicción) consecuencia ____ ", "
cuando", " con tal que ", "
____ se demuestra ____ ", "
 15
____ se deriva ____ ", etc.
"pp" P q pp "Es V cuando sus 2
Posibilidades: " _____ si y V V V miembros tienen el
sólo si ____ ", " ____ V F F mismo valor, es decir,
Bicondicional equivale a _____ ", " ____ F V F los 2 son V o los 2 son F;
es igual a ____ ", " _____ F F V en caso contrario es F".
vale por _____ ", " _____ es
lo mismo que _____ ", etc.