Univ.

Eduardo Paiva

Lógica simbólica
RAZONAMIENTO
El razonamiento es la capacidad de a partir de una información verificable poder deducir otros
datos. La lógica busca la validez de un dato.

Ejemplos

• Dato: Si estudio entonces apruebo la materia.

• Conclusión: No estudio la materia, entonces no apruebo la materia.
• Datos: Su la luna está hecha de queso entonces los números lógicos tiene la materia.
• Conclusión: La luna este hecho de queso.

PROPOSICIÓN
La proposición es oración aseverativa de la que tiene sentido decir que es verdadera o falsa (es
posible afirmar/negar algo), sin esos datos entonces solo es un concepto.

• Dolly fue la primera oveja clonada.

• El cuadrilátero es un polígono de 4 lados.
• El átomo es una molécula.

Las 3 son ejemplos de proposiciones, porque tiene sentido decir que las dos primeras son
verdaderas y que la tercera es falsa.

Cada proposición/premisa se representa con una letra (p), al igual la conclusión (q).

P→q

1
Univ. Eduardo Paiva
Oraciones que no son proposiciones
Los siguientes tipos de oraciones no son preposiciones porque ninguna de ellas afirma o niega algo
y, por lo tanto, no son verdaderas ni falsas.

• Interrogativas (¿Qué es la lógica?).

• Exhortativas o imperativas (debemos honrar a nuestros héroes).
• Desiderativas (sea en hora buena).
• Exclamativas o admirativas (¡por Júpiter! ¡Casi me saco la lotería!).

Asimismo, las siguientes oraciones a pesar de afirmar algo no constituyen ejemplos de

proposiciones, pues su verdad o falsedad no puede ser establecida.

• Dubitativas (Quizá llueva mañana).

• juicios de valor (Valentín es bueno).

Las pseudoproposiciones son expresiones que tienen apariencia de preposiciones, pero realmente
no lo son porque no expresan una proposición completa o no tienen sentido decir que son
verdaderas o falsas.

• El triángulo es inteligente.
• Eduardo es un número racional.

Las funciones proposicionales son ejemplos de oraciones aseverativas, pero no de proposiciones;

no son verdaderas ni falsas porque en ellas figura una o más letras sin interpretar.

• 𝑥+3=5
• A es la capital de Perú.

Las filosofemas (enunciados filosóficos) tampoco se consideran como proposiciones

• La realidad es duración (Bergson).

• La materia se mueve en un ciclo eterno (Engels).
• Las condiciones de posibilidad de la experiencia en general son al mismo tiempo las de la
posibilidad de los objetos de la experiencia (Kant).

2
Univ. Eduardo Paiva
TIPOS DE PROPOSICIONES
Atómica (simple)
Carecen de conjunciones gramaticales típicas o conectivas (‘y’, ‘o’, ‘si... entonces’, ‘si y sólo si’) o del
adverbio de negación ‘no’.

• San Marcos es la universidad más antigua de América.

• La lógica es distinta a la matemática.

A tener en cuenta: Puede haber una negación “no” en una proposición y dependiendo de su
posición en la oración, este puede ser atómica o molecular. Ejemplo:

• Hay gente no aceptan la nota de calificaciones = Proposición atómica.

• No hay gente que acepta la nota de calificaciones = Proposición molecular (negación).

Molecular (complejo)
Según el tipo de conjunción que llevan, se clasifican en conjuntivas, disyuntivas, condicionales y
bicondicionales; si llevan el adverbio de negación ‘no’ se llaman negativas.

TIPOS DE CONECTIVAS
Conjunción (∧)
Llevan la conjunción copulativa ‘y’, o sus expresiones equivalentes como ‘e’, ‘pero’, ‘aunque’, ‘aun
cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni‘, ‘sin embargo’, ‘además’, etc. Es verdadero solo si ambos
son verdaderos

• Ejemplo 1: Estudio para el examen y hago la tarea.

o p: Estudio para el examen.
o q: Hago la tarea.
o p ∧ q: Estudio para el examen y hago la tarea

• Ejemplo 2: Silvia es inteligente, sin embargo, es floja.

o q: Silvia es inteligente.
o q: Silvia es floja.
o p ∧ q: Silvia es inteligente, sin embargo, es floja

3
Univ. Eduardo Paiva
Disyunción exclusiva
Llevan la conjunción disyuntiva ‘o’, o sus expresiones equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’,
‘ora... ora’, ‘sea... sea’, ‘y/o’, etc.

No admite que las dos alternativas se den conjuntamente. Verdadero solo si uno es verdadero y el
otro falso.

• Ejemplo 1:
o Elena está viva o está muerta.
o p: Elena está viva.
o q: Elena está muerta.
o p ⊕ q: Elena está viva o muerta (pero no ambos).

• Ejemplo 2:
o Silvia es soltera o es casada.
o p: Silvia es soltera.
o q. Silvia es casada.
o p ⊕ q: Silvia es soltera o casada (pero no ambos).

Disyunción inclusiva (v):

Llevan la conjunción disyuntiva ‘o’, o sus expresiones equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’,
‘ora... ora’, ‘sea... sea’, ‘y/o’, etc.

Admite que las dos alternativas se den conjuntamente. Verdadero si al menos uno es verdadero.

• Ejemplo 1: Pedro es tío o es sobrino.

o p: Pedro es tío.
o q: Pedro es sobrino.
o p v q: Pedro es tío o sobrino (o ambos).

• Ejemplo 2: Roberto es profesor o es estudiante.

o p: Roberto es profesor.
o q: Roberto es estudiante.
o p v q: Roberto es profesor o estudiante (o ambos).

4
Univ. Eduardo Paiva
Condicional/implicancia (→)
Llevan la conjunción condicional compuesta ‘si... entonces...’, o sus expresiones equivalentes como
‘si’, ‘siempre que’, ‘con tal que’, ‘puesto que’, ‘ya que’, ‘porque’, ‘cuando’, ‘de’, ‘a menos que’, ‘a no
ser que’, ‘salvo que’, ‘sólo si‘, ‘solamente si’.

Toda proposición condicional consta de dos elementos: antecedente y consecuente. La proposición

que sigue a la palabra ‘si’ se llama antecedente y la que sigue a la palabra ‘entonces’ se denomina
consecuente.

En antecedente es suficiente, pero no necesario para la consecuente. Falso solo si p es verdadera y

q es falsa.

• Ejemplo 1: Si es joven, entonces es rebelde.

o p: Joven.
o q: Es rebelde.
o p → q: Si es joven, entonces es rebelde.

• Ejemplo 2: Es herbívoro si se alimenta de plantas.

o P: Herbívoro.
o Q: Se alimenta de plantas
o p → q: Es herbívoro si se alimenta de plantas.

Bicondicional/absoluta (↔)
Llevan la conjunción compuesta ‘... sí y sólo si...’, o sus expresiones equivalentes como ‘cuando y sólo
cuando’, ‘si..., entonces y sólo entonces...’, etc.

Se caracterizan porque establecen dos condicionales, pero de sentido inverso. En toda proposición
bicondicional el antecedente es condición necesaria y suficiente del consecuente y el consecuente
es condición necesaria y suficiente del antecedente.

Solo en casos en que si únicamente la premisa está presente puede darse la conclusión. Verdadero
si ambos son verdaderos o ambos son falsos.

• Ejemplo 1: Es fundamentalista si y sólo si es talibán.

o p: Fundamentalista.
o q: Es talibán.
o p ↔ q: Es fundamentalista si y sólo si es talibán.

5
Univ. Eduardo Paiva
• Ejemplo 2: Una mujer solo puede dar a luz si está embarazada.
o p: Dar a luz.
o q: Embarazada.
o p ↔ q: Una mujer solo puede dar a luz si está embarazada

Negación (¬)
Llevan el adverbio de negación ‘no’, o sus expresiones equivalentes como ‘nunca’, ‘jamás’,
‘tampoco’, ‘no es verdad que‘, ‘no es cierto que’, ‘es falso que’, ‘le falta’, ‘carece de’, ‘sin’, etc.

Esta proposición se anula con “que” antes de los adverbios y equivalentes mencionados.

• Ejemplo 1: Nunca he oído esa música.

o p: He oído esa música.
o ¬ p: Nunca he oído esa música.

• Ejemplo 2: Al papá de Nelly le falta carácter.

o p: El papá de Nelly tiene carácter.
o ¬ p: Al papá de Nelly le falta carácter.

6
Univ. Eduardo Paiva
Leyes lógicas
Las leyes lógicas son estructuras de modelos de razonamiento que siempre son válidas. Todas tienen
una forma típica, un nombre y una aplicación.

TOLLENDO TOLLENS
A partir de una fórmula condicional y de la negación de su consecuente, se obtiene la negación del
antecedente. “Si tengo un condicional y tengo la negación del consecuente, puede negar el
antecedente”.

Algo importante a tener en cuenta es que las atómicas deben “puras” al extraerse de la oración, es
decir, no debe tener negación. Esto aplica para cualquier proposición molecular.

Ejemplo 1: Si estudio, entonces paso la materia. No pase la materia, por lo tanto, no estudie.

• p → q: Si estudio, entonces paso la materia.

• q: Paso la materia.
• p: Estudio.

Por lo tanto…

[(p → q) ∧ ¬q] → ¬p

Por más de que en la oración “Si estudio, entonces paso la materia. No pase la materia, por lo
tanto, no estudie” hay negación de las atómicas seria incorrecto extraerlas en esa misma forma…

• Es incorrecto:
o ¬q: No pase la materia.
o ¬p: Por lo tanto, no estudie.

Ejemplo 2: Si hoy es miércoles, entonces mañana es jueves. Mañana no es jueves, por lo tanto, no es
miércoles.

• p → q: Hoy es miércoles, mañana es jueves.

• p: Hoy es miércoles.
• q: Mañana es jueves.

7
Univ. Eduardo Paiva
Por lo tanto…

[(p → q) ∧ ¬q] → ¬p

Si hoy es miércoles, entonces mañana es jueves. Mañana no es jueves, por lo tanto, no es miércoles.

PONENDO PONENS (PP)

A partir de una condicional y la afirmación del antecedente, se obtiene el consecuente. “Si tengo P,
entonces tengo Q. Por lo tanto, si afirmo que tengo P, entonces tengo Q”.

Ejemplo 1: Si estudio, entonces paso la materia. Estudié, por lo tanto, pasé la materia.

• p → q: Si estudio, entonces paso la materia.

• p: Estudié.
• q: Por lo tanto, pasé la materia.

Por lo tanto…

[(p → q) ∧ p] → q

TOLLENDO PONENS (TP) O SIGOLISMO DISYUNTIVO (SD)

A partir de una fórmula disyuntiva y de la negación de una de sus componentes, se obtiene la otra
componente

Ejemplo 1: O voy al cine o me quedo en casa. No voy al cine, por lo tanto, me quedo en casa.

• p v q: Voy al cine o me quedo en casa.

• p: Voy al cine.
• q: Me quedo en casa.

Por lo tanto…

[(p v q) ∧ ¬p] → q

8
Univ. Eduardo Paiva
Ejemplo 2: O voy al cine o me quedo en casa. No me quedo en casa, por lo tanto, voy al cine.

• p v q: Voy al cine o me quedo en casa.

• q: Me quedo en casa.
• p: Me voy a cine.

Pero también…

[(p v q) ∧ ¬q] → p

SIMPLIFICACIÓN (S)
A partir de dos afirmaciones, al demostrar uno ya se afirma el otro.

Ejemplo 1: Si apruebo el examen y entrego el proyecto final, entonces podré pasar la materia.

• p ∧ q: Apruebo el examen y entrego el proyecto final.

• p: Apruebo el examen.
• q: Entrego el proyecto final.

Por lo tanto…

(p ∧ q) → q

ADJUNCIÓN O CONJUNCIÓN (ADJ)

Es lo contrario a la simplificación. Dos afirmaciones dichas en momentos distintos se juntan.

Ejemplo 1: Si entreno, me fortalezco.

• p: Entreno.
• q: Me fortalezco.
• p ∧ q: Si entreno, me fortalezco.

Por lo tanto…

p ∧q→p ∧q

9
Univ. Eduardo Paiva
ADICIÓN (LA)
A partir de una fórmula se obtiene la disyunción de esa fórmula con cualquier otra.

Ejemplo 1: Los estudiantes de esta sala son de medicina o astronautas.

• p: Los estudiantes de esta sala son de medicina.

• q: Los estudiantes de esta sala son astronautas.

Por lo tanto…

p → (p v q)

10
Univ. Eduardo Paiva
Tablas de verdad
Son modelos de evaluación para saber si las premisas son verdaderas o no, y para cada conectiva
existe una tabla.

TABLAS DE VERDAD – UN OPERADOR Y DOS VARIABLES

Para casos simples en donde se tiene un solo operador y dos variables primero se dibuja una tabla
de 3x5, en el primer cuadro de las columnas se escriben las variables “p”, “q” y la formula “p ^ q”.

Luego en las dos columnas bajo las variables se escriben todas las combinaciones o arreglos
posibles de los valores de las variables, empleando V y F.

p q p^q
V V
V F
F V
F F

Por último, en la columna restante, se escribe los valores que asume la formula dependiendo si este
es conjuntivo, disyunción inclusiva, disyunción exclusiva, condicional, bicondicional o negación.

Conjunción (∧): Es verdadero solo si ambos son verdaderos

Ejemplo 1: Estudio para el examen y hago la tarea.

• p: Estudio para el examen.

• q: Hago la tarea.
• p ∧ q: Estudio para el examen y hago la tarea.

p Q p^q
V V V
V F F
F V F
F F F

11
Univ. Eduardo Paiva
Disyunción inclusiva (v): Verdadero si al menos uno es verdadero.

Ejemplo 1: Pedro es tío o es sobrino.

• p: Pedro es tío.
• q: Pedro es sobrino.
• p v q: Pedro es tío o sobrino (o ambos).

p q pvq
V V V
V F V
F V V
F F F

Disyunción exclusiva (⊕): Verdadero solo si uno es verdadero y el otro falso.

Ejemplo 1: Elena está viva o está muerta.

• p: Elena está viva.

• q: Elena está muerta.
• p ⊕ q: Elena está viva o muerta (pero no ambos).

p q p⊕q
V V F
V F V
F V V
F F F

12
Univ. Eduardo Paiva
Condicional (→): Falso solo si “p” es verdadera y “q” es falsa.

Ejemplo 1: Si es joven, entonces es rebelde.

• p: Joven.
• q: Es rebelde.
• p → q: Si es joven, entonces es rebelde.

p q p→q
V V V
V F F
F V V
F F V

Bicondicional (↔): Verdadero si ambos son verdaderos o ambos son falsos.

Ejemplo 1: Es fundamentalista si y sólo si es talibán.

• p: Fundamentalista.
• q: Es talibán.
• p ↔ q: Es fundamentalista si y sólo si es talibán.

p q p↔q
V V V
V F F
F V F
F F V

13
Univ. Eduardo Paiva
Negación (¬): ¬p es verdadera solo si p es falsa.

Ejemplo 1: Nunca he oído esa música.

• p: He oído esa música.

• ¬ p: Nunca he oído esa música.

p ¬p
V F
F V

14
Univ. Eduardo Paiva
TABLA DE VERDAD – DOS O MÁS OPERADORES
Para casos más complejos en donde se presenten formulas que contienen dos o más operadores
distintos o dos veces el mismo operador primero se debe establecer la fórmula molecular compleja.

Ejemplo 1: Dos o más operadores

Si llueve, entonces la calle se moja. Pero la calle no está mojada. Por lo tanto, no ha llovido.

• Premisa 1: Si llueve, entonces la calle se moja.

• Premisa 2: Pero la calle no está mojada. Por lo tanto, no ha llovido.
• Atómicas:
o p: Ha llovido.
o q: La calle está mojada.

Por lo tanto…

[(p → q) ^ ¬ q] → ¬ p

Una vez determinada la formula molecular compleja “[(p → q) ^ ¬ q] → ¬ p”, se debe ir

completando el cuadro empezado por lo que está dentro del paréntesis “[(p → q) ^ ¬ q] → ¬ p”.

Se debe tener en cuenta que

• Para los valores colocados en “p” y “q” se escriben todas las combinaciones o arreglos
posibles de los valores de las variables, empleando V y F (así como en la forma de un solo
operador y dos variables).
• La regla del condicional (falso solo si “p” es verdadera y “q” es falsa).

p q p→q
V V V
V F F
F V V
F F V

15
Univ. Eduardo Paiva
Luego de resolver lo que está dentro del paréntesis se sigue con lo que está dentro del corchete
“[(p → q) ^ ¬ q] → ¬ p” teniendo en cuenta…

• La regla de la conjunción (es verdadero solo si ambos son verdaderos).

• Que los valores a ser colocados para “¬ q” deben ser opuestos a “q” (justamente porque ¬ q
es opuesto a q).

Entonces…

• p → q: Si ha llovido, entonces la calle está mojada.

• ¬ q: La calle no está mojada.

p→q ¬q [(p → q) ^ ¬ q]
V F F
F V F
V F F
V V V

Por último, se continua con lo que está fuera del corchete “[(p → q) ^ ¬ q] → ¬ p” teniendo en
cuenta…

• La regla del condicional (falso solo si “p” es verdadera y “q” es falsa).

• Que los valores a ser colocados para “¬ p” deben ser opuestos a “p” (justamente porque ¬ p
es opuesto a p).

[(p → q) ^ ¬ q] ¬p [(p → q) ^ ¬ q] → ¬ p
F F V
F F V
F V V
V V V

16
Univ. Eduardo Paiva
Ejemplo 2: Dos veces el mismo operador
Si en el país hay un 32% entre la pobreza extrema y la pobreza no extrema, no nos podemos quedar
cruzado de brazos. En el país hay ese 32%. Por consiguiente, no nos podemos quedar cruzado de
brazos.

• Premisa 1: Si en el país hay un 32% entre la pobreza extrema y la pobreza no extrema, no nos
podemos quedar cruzado de brazos.
• Premisa 2: En el país hay ese 32%. Por consiguiente, no nos podemos quedar cruzado de
brazos.
• Atómicas;
o p: En el país hay 32% de pobreza extrema y no extrema.
o q: Nos quedamos de brazos cruzados.

Por lo tanto…

[(p → q) ^ p] → q

Realizamos la tabla de verdad y completamos con los valores (V o F) de acuerdo a las conectivas y
siguiendo el mismo orden que en el ejemplo anterior.

Teniendo en cuenta la regla del condicional (falso solo si “p” es verdadera y “q” es falsa) entonces
tenemos que…

p q p→q
V V V
V F F
F V V
F F V

17
Univ. Eduardo Paiva
Se debe tener en cuenta…

• Los valores colocados en “p” en está tabla deben tener el mismo orden de los valores de “p”
de la tabla anterior (justamente porque son lo mismo).
• La regla de la conjunción (es verdadero solo si ambos son verdaderos).

p→q p [(p → q) ^ p]
V V V
F V F
V F F
V F F

Se debe tener en cuenta…

• Los valores colocados en “q” en está tabla deben tener el mismo orden de los valores de “q”
de la tabla anterior (justamente porque son lo mismo).
• La regla del condicional (falso solo si “p” es verdadera y “q” es falsa) entonces tenemos
que…

[(p → q) ^ p] q [(p → q) ^ p] → q
V V V
F F V
F V V
F F V

18
Univ. Eduardo Paiva
Ejemplo 3: Tres operadores
Si llueve y hace frío entonces me quedo en casa. No me quedo en casa. Por lo tanto, no es cierto
que llueva y haga frío.

• Premisas:
o Premisa 1: Si llueve y hace frío me quedo en casa (p ∧ q)
o Premisa 2: No me quedo en casa. ¬ r
o Premisa 3: No es cierto que llueva y haga frío. ¬ (p ∧ q)

• Atómicas:
o p: Llueve.
o q: Hace frío.
o r: Me quedo en casa.

• Fórmula:

[(p ∧ q) → r] ∧ (¬ r) → ¬ (p ∧ q)

p q (p ∧ q) r [(p ∧ q) → r] (¬ r) [(p ∧ q) → r] ∧ (¬ r) ¬ (p ∧ q) [(p ∧ q) → r] ∧ (¬ r) → ¬ (p ∧ q)

V V V V V F F F V

V V V F F V F F V

V F F V V F F V V

V F F F V V V V V

F V F V V F F V V

F V F F V V V V V

F F F V V F F V V

F F F F V V V V V

19