UNIDAD 1

LÓGICA
Es la ciencia que nos enseña a pensar correctamente.
La lógica es una ciencia formal.
La lógica es la disciplina que trata de los métodos, formas y modos del razonamiento
humano. Ofrece reglas y técnicas para determinar si un argumento es válido o no.
El objetivo fundamental de la lógica es eliminar la ambigüedad del lenguaje natural,
introduciendo símbolos y conectivos lógicos en la construcción de proposiciones.
Proposición.- Es una oración o enunciado donde podemos determinar un solo valor
de verdad (F o V), pero no ambos a la vez.
Ejemplos.
1. Determinar cuál de las oraciones son proposiciones.
2. “La luna es de queso”. Sí es proposición.
3. “El ser humano es el arquitecto de su propio destino”. Sí es proposición.
4. “Blooming es campeón”. No es proposición.
5. “Oriente es el equipo más reconocido de Bolivia”. No es proposición.
6. “H2O es la fórmula del agua”. Sí es proposición.
7. “5+4<2”. Sí es proposición.
8. “El fuego no quema”. Sí es proposición.
9. “La UPDS es la mejor universidad”. No es proposición.
Notación y conectivos lógicos.- A las proposiciones simples o genéricas (llamadas
atómicas) se acostumbren de notar con la letras minúsculas p, q, r….
Ejemplo
P: “5 es divisor de 25”.
q: “5+4 = 8”.
A partir de proposiciones simples se pueden generar otras proposiciones simples o
compuestas utilizando ciertas constantes proposicionales llamados conectivos lógicos
tales como el conectivo “no” se denota “~”.
El conectivo “no” se denota “~”
El conectivo “y” se denota “˄”
El conectivo “o” se denota “˅”
El conectivo “si entonces” se denota “→”
El conectivo “si y solo si” se denota “↔”
El conectivo “o excluyente” se denota “⊻”
Operaciones proposicionales.- Dada una o dos proposiciones cuyos valores de
verdad se conocen, las operaciones entre proposiciones tratan de generar otras
proposiciones y caracterizar la proposición resultante a través de su valor de verdad
estas son:
1. La negación (v)
 2. Conjunción (˄)
3. Disyunción (˅)
4. Implicación (o condicional) (→)
5. Doble implicación o (Bi-condicional) (↔)
6. Disyunción exclusiva (⊻)
Negación.-La negación de la proposición “p” es la proposición “no p” y se denota por
“~p” cuya tabla de valor de verdad es:
Tabla de verdad

P P

V F
F V

P: “La luna es de queso”

“~P”: “La luna no es de queso”.
Conjunción.- Se llama conjunción de 2 proposiciones “p y q” a la proposición que se
obtiene uniéndolas por medio del conectivo “y” y se escribe p˄q y se lee p y q cuya
tabla de verdad es:

P q p˄q

V V V
V F F
F V F
F F F

 Regla.- La conjunción de 2 proposiciones es verdadero solo cuando las 2

proposiciones que componen son verdaderas, caso contrario es falso.
Disyunción.- La disyunción de 2 proposiciones “p y q” es la proposición que se
obtiene uniéndolas por medio del conectivo “o” y se escribe “p˅q” y se lee “p o q” cuya
tabla de verdad es:

p q p˅q
V V V
V F V
F V V
F F F

 Regla.- La disyunción de 2 proposiciones es falso si las 2 proposiciones que

componen son falsos, caso contrario es verdadero.
Implicación o condicional.- Se llama implicación o condicional de 2 proposiciones p
y q a la proposición que se obtiene uniéndolas por medio del conectivo “si entonces”
se escribe “p → q” y se lee “si p entonces q”.
Llamaremos a la primera proposición “p” antecedentes y a la segunda “q”
consecuente.
Cuya tabla de verdad es:
Definición de implicación
p → q ≡ ~p ˅q

p q p →q

V V V
V F F
F V V
F F V

 Regla.- La implicación de 2 proposiciones es falso, solamente cuando el

antecedente es verdadero y el consecuente es falso, caso contrario es
verdadero.
Doble implicación o Bi-condicional.- Se llama doble implicación o bi-condicional de
2 proposiciones p y q a la proposición que se obtiene uniéndolas por medio del
conectivo “si y solamente si” se escribe “p ↔q” y se lee “p si y solo si q”
Cuya tabla de verdad es:

p q p↔ q

V V V
V F F
F V F
F F V

 Regla.- La doble implicación de 2 proposiciones es verdadero solamente

cuando las 2 proposiciones que la componen tienen el mismo valor de verdad
caso contrario es falso.
 Definición de doble implicación
P ↔q≡ (p → q) ˄(q→ p)
Disyunción exclusiva.- Se llama disyunción exclusiva de 2 proposiciones p y q a la
proposición que se obtiene uniéndolas por medio del conectivo “o excluyente” se
escribe “p ⊻q” se lee p o q en sentido exclusivo o “p o bien q”.
Cuya tabla de verdad es:
 p q p⊻ q

V V F
V F V
F V V
F F F

 Regla.- La disyunción exclusiva de 2 proposiciones es falso cuando las 2

proposiciones que la componen tienen el mismo valor de verdad, caso
contrario es verdadero.
 Definición de disyunción exclusiva:
P ⊻≡ ~(p ↔ q)
Formulas Proposicionales.- Una formula proposicional es una combinación de
proposiciones y conectivos lógicos que conforman una proposición más compleja o
molecular.

Ejemplo:

1. [(p → q) ˄ (r ↔ ~ q)] ⊻ ~ p
2. P → q ˅ r
3. P → (q ˅ r)
Tabla de valores de verdad.- El valor de verdad en una tabla proposicional depende
de los valores de verdad de las proposiciones simples que las componen. Es decir, se
debe analizar todas las posibles combinaciones de valores de verdad de las
proposiciones que las componen, las cuales se dan en las primeras columnas. Por
tanto en una formula proposiciones intervienen “N” proposiciones simples diferentes,
entonces la tabla de valor de verdad tendrá 2 elevada a la “N2 combinaciones
diferentes, si por ejemplo para 2 proposiciones, 22 = 4.
Si tenemos 3 proposiciones 23 = 8, y así sucesivamente

P q r ~p ~q p→ q r˅p Q˄
V V V F F F V F
V V F F F F F F
V F V F V V V V
V F F F V V F F
F V V V F V V V
F V F V F V V V
F F V V V V V V
F F F V V V V V

[(p → ~ q) → ~ r] ↔ (q ⊻ ~ p)
 p q r ~p ~q ~r p→~q p→~q→~r q⊻~p
V V V F F F F V V
V V F F F V F V V
V F V F V F V F F
V F F F V V V V F
F V V V F F V F F
F V F V F V V V F
F F V V V F V V V
F F F V V V V F V

Clasificación de fórmulas proposicionales.- Las formulas proposicionales

(proposiciones compuestas) se clasifican según sus valores de verdad en tautología,
contingencia, contradicción.

 Tautología.- Es una formula proposicional que es verdadera para cualquier

valor de verdad de las proposiciones que las componen (todos los valores de
verdad de la comuna final son verdaderas).
 Contradicción.- Es una formula proposicional que es falsa para cualquier
valor de verdad de las proposiciones que les componen (la columna final son
todas falsas).
 Contingencia.- Es una formula proposicional que no es tautología ni
contradicción.
Ejemplo: Clasificar las siguientes formulas proposicionales.
1) (p ↔ ~ q) ⊻~ (p ˄q)

p q ~q p↔~q p ˄q ~ (p ˄q) (p ↔ ~ q) ⊻~ (p ˄q)

V V F V V F V
V F V F F V V
F V F F F V V
F F V V F V F
CONTINGENCIA
2) [(~p → q) ˄~ q]→ p
a b

p q ~p ~q (~p → q) a ˄ ~q b→p
V V F F V F V
V F F V V V V
F V V F V F V
F F v V F F V
TAUTOLOGÍA

3) (~p → q) ↔ (~p ˄~ q)

p q ~p ~q ~p → q ~ p ˄~ q a↔ b
V V F F V F F
 V F F V V F F
F V V F V F F
F F v V F v F
CONTRADICCION
Algebra de proposiciones.- Son operaciones lógicas que se realizan en una formula
proposicional aplicando adecuadamente ciertas reglas básicas llamadas leyes lógicas,
es decir, al igual que algebra, matemática donde la simplificación de expresiones
algebraicas es muy importante en logia también existe la necesidad de simplificar las
formulas proposicionales complejas a través de ciertas equivalencias llamadas leyes
lógicas.
 Leyes lógicas:

1) Ley de idempotencia
p ˄p ≡ p ; p ˅ p
2) Ley conmutativa

p˄q≡ q˄p
p˅q≡ q˅p

3) Ley Asociativa
p ˄ (q ˄ r) ≡ (p ˄ q) ˄ r
p ˅ (q ˅ r) ≡ (p ˅ q) ˅ r
4) Ley de negación
~ (~p) ≡ p
p ˄ ~ p ≡ F; p ˅ ~ p ≡ V
5) Ley de identidad
p˄V≡p;p˅F≡P

6) Ley de Morgan
~ (p˅ q) ≡ ~ p ˄ ~ q
~ (p ˄ q) ≡ ~ p ˅ ~ q

7) Definición de implicación Condicional

p→q≡~p˅p

8) Ley distributiva
p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r)
p ˄ (q˅ r) ≡ (p ˄ q) ˅ (p ˄ r)

9) Ley de Absorción
p ˄ (p ˅ q) ≡ p ; p ˅ (p ˄ q) ≡ p
p˄F≡F;p˅V≡V

10) Definición de doble implicación

p ↔ q ≡ (p → q) ˄ (q → p)
 11) Definición de disyunción exclusiva
(p ⊻ q)≡ ~ ( p↔ q)
Simplificación de fórmulas proposicionales.- Se trata de transformar una formula
proposicional en otra equivalente a ella pero lo más reducido posible, para ello
debemos usar oportuna y correctamente las leyes lógicas, así mismo se debe
especificar en cada paso la ley o leyes que fueron utilizados.
Ejemplo) Simplificar:
1) p ˄ (q ˅ ~p) ≡ (p ˄q) ˅ (p ˄ ~p) // Ley Distributiva
≡ (p ˅ q) ˅ F // Ley negación
≡ (p ˄ q) // Ley de identidad

2) p ˄ (q ˄ ~p) ≡ (p ˄ ~p) ˄ q // Ley asociativa

≡ F˄q // Ley negación
≡ F // Ley de Absorción
Circuitos lógicos.- Un circuito lógico nos ayuda a representar una formula
proposicional en base a diferentes interruptores llamados también compuertas lógicas.
Si asociamos un interruptor a una proposición, el interruptor estará abierto cuando la
proposición este falso y cerrado cuando es verdadera.

____ ____ Circuito general

p

____ ____ Circuito abierto ________Circuito Cerrado

p= F p= V
Circuitos lógicos en serie y paralelos.- Los circuitos lógicos se pueden representar
en serie para asociar la conjunción de dos proposiciones y en paralelo para asociar la
disyunción de dos proposiciones

 Circuitos en serie (conjunción).- Sean dos proposiciones p y q el fcircuito en

serie nos ayuda a representar la conjunción entre dos proposiciones

____ p ____  q ≡ p ˄ q
Tabla de verdad:

p q p˄q
V V V
V F F
F V F
F F F
VCC= Voltaje de corriente continua ≡GND = Tierra

 Circuito en paralelo (disyunción).- La disyunción de 2 proposiciones nos

ayuda a representar el circuito lógico en paralelo.

___ p ____
  ≡ p ˅ q
___ q ___
Tabla de verdad

p q p˅q
V V V
V F V
F V V
F F F
 VCC ≡GNP
Simplificación de circuitos.- Para simplificar un circuito lógico primero debemos
transformar el circuito lógico en una formula proposicional aplicando las definiciones
de circuitos en serie y paralelo, y posteriormente aplicar las leyes lógicas
correspondientes para cada caso.
Ejemplo: Simplificar:

___ q ____ ___ q ___

_____ _____  __ ≡ ____ q ____

___ p ____ ___ p ____

 Solución:

≡ (q  p) (q  p)
≡ (q  (p  p) // Ley sabe sobre aquello
≡ qF //Ley negación
≡ q // Leer identidad
Inferencia lógica.- Se debe entender por diferencia lógica a un razonamiento en el
que a partir de un conjunto de proposiciones llamadas, premisas se obtiene un
resultado llamado conclusión. Un razonamiento es válido si y solamente si la
conjunción de las premisas implica la conclusión, o la conclusión es consecuencia de
las premisas. Es decir: Si las premisas son todas verdaderas entonces las
conclusiones que se derivan de ellas lógicamente han de ser verdaderas. Sin embargo
si una o más de las premisas la conjunción de las premisas es falsa, por tanto la
conclusión puede ser verdadera o falsa.
p1
p2
p3 ≡ p1 ˄ p2 ˄ p3……˄ pn → Q
.....
p˄
Q
 Reglas de inferencia:

1) Modus ponendo ponens (pp.)

pq
p___
q
 2) Modus tollendo tollens (tt)
pq p  q
q___ ; ____q
p p
3) Modus tollento pones. (tp.)

pq pq

p__ ; ___q
q p
4) Ley de si logismo hipotético (SH)
pq
qr
pr
5) Ley de simplificación (LS)
pq ; pq
p q
6) Ley de la conjunción (LC)
p
q__
pq
7) Ley de adición (LA)
p_
pA
8) Dilema constructivo (DC)
pq
rt
pr
qt
9) Dilema destructivo (DD)
pq
rt
q  t
p  r
Funciones proposicionales y cuantificadores:

 Funciones proposicionales.- Una función proposicional es una variable “x”,

es toda expresión en la que “x” representa al sujeto u objeto perteneciente a
cierto conjunto la cual se convierte en proposición para cada especificación de
“x”. Es decir, si “p” de “x”, es decir, P(x), P es una función proposicional, asi
mismo hay funciones proposicionales con mas de una variable.
Ejemplo)
P(x): “x es divisor de 20”
P(5): “5 es divisor de 20” V
P(z): “z es divisor de 20” F
P(x1 y): “ x + y es menor 15”
P(2,10): “2+10 ES MENOR 15” V
 Funciones cuantificadores.- A partir de funciones proposicionales se puede
obtener proposiciones generales mediante un proceso llamado
“decuantificación” para ello introducimos los símbolos ,  llamados.
Universal y existencial perspectivamente, los cuales asociados a una variable x
expresa lo siguiente:
x, para expresar “para todo x” o “cualquiera que sea x”.
x, para expresar “existe algún x, tal que” o “existe al menos algún x, tal que”.
x; P(x), se lee “para todo x, se verifica P(x)”.
x; P(x), se lee “existe algún x, tal que wse verifica P(x)”.
Negacion de cuantificadores:
(x ; P(x))  x / P(x)
(x / P(x))  x ; P(x)
Ejemplo: Negar los cuantificadores
x : P  (q  r)  [x : P  (q  r)]
 x / [P  (q  r)]
 x / [P  (q  r)]
 x / P  (q  r)