Cap1.1 Logica Simbólica

Universidad Autónoma Gabriel Rene Moreno
Facultad Ciencias Exactas y Tecnología
Capitulo 1
Introducción a Lógica Simbólica
Semestre I/2020 Ing. Mary Dunnia López N.

Objetivos
Traducir proposiciones
verbales del lenguaje
usual al simbólico y
viceversa.
Identificar Valorar proposiciones

razonamientos válidos lógicas.
Plantear esquemas
preposicionales.
Ing. Mary Dunnia López

Contenido
1.
Introducción
2.
8.
Esquema de
Lógica de
Predicados Proposicion
es
3.
7. Operacione
Inferencia s con
Lógica Proposicion
es
4.
6.
Circuitos
Proposicio
Lógicos naleFormul
ass
5.
Relaciones
entre
formulas

1. INTRODUCCION

Logica
Definición Definition
- La palabra lógica - La lógica por medio de
viene del griego y la formalización del
significa razón lenguaje y de sus reglas
- Es una ciencia formal básicas proporciona las
y una rama de la herramientas necesarias
filosofía que estudia para tratar e intentar
los principios y las resolver rigurosamente
estructuras del problemas que tienen
pensamiento sus orígenes y
aplicaciones en
diferentes áreas de las
ciencias
Una lengua lógica es una lengua construida que ha

sido diseñada de tal forma que sus estructuras
gramaticales no sean básicamente ambiguas.

1.2 Historia de la lógica
1. Antigua 2. Media
• Estudiada por sacerdotes
• Creador • Pedro Hispano  De dos
Aristóteles premisas contradictorias se
• Libro Organon puede deducir cualquier
(pensar contradicción.
correctamente)
3. Moderna 4. Contemporánea
• Boole  Construye la
• Leibniz  Desarrollo el
teoría de clases, base de
calculo de la lógica
la evolución digital
proposicional
moderna.
• Euler  Diagramas que
• Venn  Esclarece los
representan conjuntos
procedimientos de Bool
y relaciones.
mediante sus diagramas

2. Lógica de proposiciones

2 Lógica de Proposiciones
Resumen de la
historia de la
lógica
Lógica formal o Lógica simbólica o

aristotélica: matemática:
 Se dedica a  Se basa en la
estudiar de la aplicación de
inferencia mediante símbolos mediante
la construcción de tablas de verdad
lenguajes formales que permite ver lo
sistemas verdadero o falso de
deductivos y las proposiciones.
semánticas
formales.
La lógica es una ciencia formal, es una rama de la filosofía que estudia los principios
y estructuras del pensamiento. Es un sistema que permite verificar si un pensamiento
es correcto o no.
La finalidad de la lógica es el estudio de la razón en el conocimiento.

2.1 Proposición
 Una proposición es una oración de la que se puede decir que es falso o

verdadero.
 En esta oración figura una variable, la cual al ser reemplazada por un
valor de su dominio la convierten en una proposición:
P1[x] = “Dos es mayor que x", x E {1,2,3,4}

P2[n] = n < 2 , n E {3,4,5,6,7}
P3[n] = “La suma de los primeros n números

naturales es igual al producto de N
por su sucesor dividido entre dos", n E |N
P4[n] = 1+2+3+…+n= n*(n+1)/2, n E |N

2.1 Proposición
2.1.1 Definición
EJEMPLOS
 Estocolmo es la capital de Francia (si es

La lógica proposicional es la lógica proposición)
basada en proposiciones. La proposición  Machu Pichu está situado en Bolivia (si es
es un enunciado que se puede dar un proposición)
 ¿Como te llamas? (no es proposición)
valor de verdad. Es decir es verdadero o  Proposiciones simples se representan por ejemplo
con : p, q, r, s , t
falso, así que no todos los enunciados • p: Paris es capital de Francia
son proposiciones. • q: Juan no sabe leer
Cada letra representa una proposición

simple.
 La lógica proposicional es una parte
de la lógica que estudia las
formaciones complejas a partir de
proposiciones simples y el valor de
verdad de dichas proposiciones.

2.1.2 Valor de verdad
Para determinar el valor de verdad se

establece una tabla de verdad
 Si se tiene p una sola p p q
proposición simple, esta puede
tener solo 2 valores V V V
posibles(verdadero o falso) →
2^1 F V F
• Si se tiene p y q 2
proposiciones simples, la tabla
de verdad tendrá 4 F V
posibilidades → 2^2
• Luego si la proposición está F F
compuesta por n proposiciones
se pueden presentar → 2^n
proposiciones.
En general para “n” proposiciones, se pueden presentar 2n posibilidades.

2.1.3 Clasificación
Clasificación
Proposiciones simples: Proposiciones Compuestas:

Es una proposición sin conectivos Es una proposición que usa
lógicos. conectivos lógicos y, o, etc.
Por ejemplo: Son aquellas formadas por 2 o más
 p: Simón es un hombre preposiciones simples enlazadas por
trabajador conectivos lógicos para comunicar
algo más complejo. Por ejemplo:
 q: Simón es un hombre
agradable  p: Simón es un hombre trabajador
 q: Simón es un hombre agradable
Simón es un hombre trabajador y es
una persona agradable
Conectivo lógico Notación Nombre

Y ^ Conjunción
O V Disyunción débil
O…o Δ (delta) Disyunción fuerte
Si … entonces  Implicación
W  Equivalencia
No es cierto que ~ Negación

2.2 Operaciones con proposiciones
Los conectivos lógicos sirven para enlazar 2 o más proposiciones simples

y convertirlas en una proposición compuesta. Para determinar el valor de
verdad de una proposición compuesta se usan tablas de verdad.
p q ~p ~q p ^q p vq p Δq p q p > q
V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V

2.2.1 Negación
Afecta a una sola proposición. Es un operador que cambia el valor de

verdad de una proposición. Su símbolo es “~” y se llama negador.
p :Todo numero par es divisible entre 2.

Ejemplo ~p : No todo numero para es divisible entre 2.
Si p es Verdad, la negación de p es Falsa.
2.2.2 Conjunción
Vincula dos proposiciones mediante el conectivo lógico “y”, cuyo

símbolo es “^” y se llama “conjuntor”.
Juan recupero su carnet y viajo a Chile.

Ejemplo
V y V = Verdad  Única posibilidad de que sea verdad.

2.2.3 Disyunción inclusiva o Débil
Vincula dos proposiciones mediante el conectivo lógico “o” cuyo

símbolo es “v” y se llama disyuntor.
Eliana viajara a Buenos Aires o a Salta.

Ejemplo
F v F = Falso  Solo es falso si ambas son falsas.
2.2.4 Disyunción exclusiva o fuerte
Vincula 2 proposiciones mediante “O …. o “ su símbolo es delta.
O Sarah vive en la ciudad o en provincia.

Ejemplo V Δ V = Falso
F Δ F = Falso

2.2.5 Condicional
Vincula 2 proposiciones mediante el conectivo lógico SI …

ENTONCES cuyo símbolo es el implicador .
Si 3 es número primo entonces es múltiplo de 3

Ejemplo es número primo  antecedente
es múltiplo de 3  consecuente
V  F = Falso
Si el antecedente es verdad y el consecuente es falso, el

resultado será falso, demás casos será verdad.

2.2.6 Bicondicional
Vincula 2 proposiciones mediante el conectivo lógico SI Y SOLO SI
cuyo símbolo es ↔ llamado doble implicador.
“Cecy esta delgada si y solo si pesa menos de 50 kg”.

Ejemplo

p : Cecy esta delgada
q: pesa menos de 50 kg
El bicondicional es verdad si las 2 proposiciones son de

igual valor de verdad, demás casos son falsa.

2.2.7 Propiedades de las operaciones con proposiciones
 Se inicia trabajando los paréntesis

 Evaluar la ley a aplicar: El siguiente
cuadro resume las leyes.
 El símbolo  indica equivalencia
lógica.
Ejemplo ( p q) ^ (p > q)

p q (p (p >
q) q)
v v v v v
v f f f f
f v v f f
f f f v f

2.2.7 Operaciones proposicionales
( p q) ^ (p > q)
p q ( p (p >
q) q)
v v v v v
v f f f f
f v v f f
f f f v f

3. Formulas proposicionales

3 FORMULAS PROPOSICIONALES
3.1 Tautología
Si los valores de la tabla de verdad son todos verdaderos.
p q p q p ~p ~p p p(~pp) p(~pp)
V V V V F V V
Es una
V F F F V F V tautología
F V V
F F V
3.2 Contradicción
Si los valores de la tabla de verdad son todos falsos.
p q p^q p q ~q p ^ ~q (p^~q)^q (p^~q)^q

V V V V V F F F
Es una
V F F V F V V F contradicción
F V F F V F F F
F F V F F V F F

3 FORMULAS PROPOSICIONALES
3.3 Contingencia
Si los valores de la tabla de verdad son verdaderos y falsos.
p q r rvp qvp ~(q v p) (r v p) ^ ~( q v p)

V V V V V F F
V V F V V F F
V F V V V F F
V F F V V F F
F V V V V F F
F V F F V F F
F F V V F V V
F F F F F V F
(r v p) ^ ~( q v p)

Es una
contingencia

4. Relaciones entre formulas

4 RELACIONES ENTRE FORMULAS
4.1 Implicación lógica
La implicación lógica «A, por lo tanto B» es una afirmación no hipotética, que

habla del mundo; es decir, establece que A es verdadero y que, por lo tanto, B
es verdadero.
Lo único que establece es que, en el caso de que A sea verdadero, B también
lo es y, en el caso de que B sea falso, A también lo es.
4.2 Equivalencia lógica
Una proposición es lógicamente equivalente a otra cuando cada una de las

asignaciones de valores de verdad a las proposiciones simples que las
componen genera el mismo valor de verdad en ambas proposiciones. En otras
palabras, dos expresiones son lógicamente equivalentes si sus tablas de
verdad son iguales.

4.2 Equivalencia lógica

5. Circuitos lógicos

5. CIRCUITOS LÓGICOS
Es un conjunto de símbolos y operaciones que satisfacen las reglas de la lógica
simulando el comportamiento real de un circuito eléctrico. Un circuito eléctrico es una
trayectoria cerrada que recorre una corriente eléctrica Este recorrido se inicia en una de
las terminales de una pila pasa a través de un conducto eléctrico , llega a una resistencia
que consume parte de la energía eléctrica, continua después por el conducto llega a un
interruptor y regresa a la otra terminal de la pila.
Relación entre lógica y circuitos: Relación de igualdad estructural entre ambas, el

isomorfismo que existe entre ambas. Si las 3 funciones básicas (conjunción, disyunción y
negación) se puede decir que el isomorfismo es total.
Fuente: https://www.youtube.com/watch?v=sRCzXJif3o4&t=17s

5 CIRCUITOS LÓGICOS
5.1 Circuitos en serie
La tabla muestra los valores para conjunción
Un circuito electro en serie funciona tal cual una conjunción lógica

Segundo Isomorfismo
La tabla muestra los valores para disyunción
Un circuito electro en paralelo funciona tal cual una disyunción lógica

Segundo Isomorfismo
Circuito en serie
Un interruptor puede estar encendido o apagado
La negación

5 CIRCUITOS LÓGICOS
5.3 Circuitos Compuestos

Video explicativo 1
Video explicativo 2

Ejercicio 1.
Representar en esquema lógicos, los siguientes circuitos:
(r [(p
v v
q)q) ^ pp] v pp {[(p v q) ^ p ] v p} ^ q

6. INFERENCIA LÓGICA
6 INFERENCIA LÓGICA
6.1 Definición
Inferencia es la acción y efecto de inferir (deducir algo, sacar una consecuencia de otra
cosa, conducir a un resultado). La inferencia surge a partir de una evaluación mental
entre distintas expresiones que, al ser relacionadas como abstracciones, permiten trazar
una implicación lógica.
6.2 Inferencia válida

Una inferencia es válida o lógicamente verdadera si y sólo si la verdad de las premisas
implica o garantizan la verdad de la conclusión; es decir, cuando lo que afirma la
conclusión se deduce necesariamente de lo que afirman las premisas.
- Una inferencia es válida o lógicamente verdadera porque lo que afirma la
conclusión se deriva necesariamente de las premisas; es decir, siendo las premisas
verdaderas la conclusión también es verdadera.
Ejemplo
Algunos abogados son cruceños  premisa

Todos los cruceños son bolivianos  premisa

Algunos bolivianos son abogados  conclusión
6.3 Reglas de Inferencia
6.3.1 Modus Ponendo Ponens (PP)
Se toma 2 premisas: una premisa condicional () cualquiera y una segunda premisa
cualquiera. Si la premisa cualquiera es igual al antecedente de la condicional, entonces el
resultado es el consecuente.
p→q ~p→ q (q^p)→
~r p → q “Si llueve, entonces las calles se mojan” (premisa)
p “Llueve” (premisa)
P ~p (q^p) _________________________________________________
--------- --------- q “Luego, las calles se mojan” (conclusión)

---------------
P ~p ~r
6.3.2 Modus Tollendo Tollens (TT)
Se toma 2 premisas: una primera premisa condicional () cualquiera y una segunda
premisa cualquiera. Si la segunda premisa cualquiera es la negación del consecuente,
entonces el resultado es la negación del antecedente.
p→q q→ ~r ~r → ~(p v s)
~q r (p v s)
-------- ------- ------------------
~p ~q r
6.3.3 Modus Tollendo Ponens (TP)
Se toma 2 premisas: una primera premisa disyunción cualquiera y una segunda premisa
cualquiera. Si la segunda premisa cualquiera es la negación de alguno de los
componentes de la disyunción, resulta el otro componente de la disyunción.
p v q q v ~r (p ^ q)
~q r ~(p ^ q) v ~s
-------- ------- ------------------
P q ~s
6.3.4 Ley de adjunción (A) / Ley de conjunción (LC)
Si necesita unir 2 premisas cualquiera lo puede hacer con una conjunción.
p ~r
q p v q
-------- -------
p^ q ~r ^ (p v q)
6.3.5 Ley de Simplificación (S)
p ^ q
----------
p
q
6.3.6 Ley de Silogismo Hipotético (SH)
p  q ~r  ~q
q  r (s^p)  ~r
----------
---------------
pr (s^p) 
6.3.7 Dilema Constructivo (DC) ~q
De las 3 premisas 2 deben ser condicionales y la otro disyuncion. Si los componentes de
la disyuncion son los mismos componentes de los antecedentes de las condiciónales,
entonces resulta una disyunción de los consecuentes de los condicionales.
p  r ~r  p
q  ~s s  (q ^ t)
p v q s v ~r
---------- ---------------
r v ~s (q^t) v p
6.3.8 Ley de la adición (LA)
A una premisa le puede aumentar lo que necesite siempre y cuando sea con una
disyunción.
p ~r
---------- ---------------
p v ~q ~r v (t ^s)
6.3.9 Ley del bicondicional (LB)
Si tiene una bicondicional , la puede expresar como una condicional.
p  q pq
---------- ---------------
p  q q  p
6.4 Métodos de Demostración
Métodos
Demostración
6.4.1. 6.4.2 Demostración 6.4.3 Demostración

Demostración indirecta condicional
directa Añadimos una nueva premisa Cuando se quiere demostrar una
que es la negación de lo que condicional se lo usa. Se añade
una nueva premisa que es el
se quiere demostrar. Esto es
antecedente de lo que se quiere
para encontrar una demostrar. Luego se aplican las
contracción cualquiera, es leyes
decir una conjunción de Es demostrar que una formula
proposiciones que se deduce de otras, esto mediante:
contradicen. Luego aplicar - Tablas de verdad
leyes.
- Reglas de equivalencia e
inferencia lógica.
6.4.3 Demostración directo
Demostrar: p v q Demostrar: ~p ^ ~q
1) r  ~s 1) ~r v ~s
2) s 2) ~s  ~p
3) ~r  (p v q) 3) ~r  q
_____________________ 4) ~q
4) ~r MTT: 1,2 _____________________
5) p v q MPP : 3,4 5) r MTT 3,4
6) ~s MTP 1,5
7) ~p MPP 2,6
8) ~p ^ ~q A 7,4
Demostrar: ~q Demostrar: ~r
1) p  ~q 1) p  ~q
2) (p ^ r ) v s 2) ~q  ~s
3) (s  (t v u ) 3) (p  ~s)  ~t
4) ~t ^ ~u 4) r  t
_____________________ _____________________
5) ~(t v u) LM 4 5) p  ~s SH 1,2
6) ~s MTT 3,5 6) ~t MPP 3,5
7) (p^ r) MTP 2,6 7) ~r MTT 4,6
8) p S7
9) ~q SH 1,8
6.4.3 Demostración directo
Demostrar: p ^q Demostrar: ~r
1) (q ^p) v r 1) (p  r)  (~a v b)
2) s  ~r 2) p  q
3) t  ~r 3) b  s
4) s v t 4) q  r
_____________________ 5) ~a  s
5) ~r v ~r DC 2,3,4 _____________________
6) ~r LSD 5 6) p  r SH 2,4
7) q ^ p MTP 1,6 7) (~a v b) MPP 1,6
8) p ^ q C 7 8) s v s DC 3,5,7
9) s LSD 8
10) s v t LA 9
6.4.3 Demostración condicional
Método Condicional
Demostrar: p  t
1) p  q P
2) q  s P
3) t v ( r ^ ~s) P
_____________________
4) p P
5) qs LB 2
6) ps SH 1,5
7) s MPP 4,6
8) (t v r) ^ (t v ~s) Dist. 3
9) t v ~s S8
10) t MTP 7,9
11) p t DC1 4,10
LSD = Ley de Simplificación Disyuntiva

LM = Ley de Morgan
S = Simplificación
C = Conmutatividad
DC1 = Demostración condicional: Añadimos una premisa.
Adj. = La ley de Adjunción
RAA = Reducción al Absurdo (referencia el método de solución
indirecto).
6.4.3 Demostración Indirecto
Método Indirecto
Demostrar: f
1) g  h P
2) ~g  ~(~f) P
3) ~h ^ q P
_____________________
4) ~f P
5) gf DN 2
6) ~h S 3
7) ~g MTT 1,6
8) f MPP 5,7
9) f ^ ~f Adj. 4,8
Es la contradicción cualquiera buscada.
10) f RAA 4,9
En el paso 10) se añade la negación de 4)
Se niega la premisa añadida ~(~f)
LSD = Ley de Simplificación Disyuntiva
LM = Ley de Morgan
S = Simplificación
C = Conmutatividad
DC1 = Demostración condicional: Añadimos una premisa.
Adj. = La ley de Adjunción
RAA = Reducción al Absurdo (referencia el método de solución
indirecto).
7. LÓGICA DE PREDICADOS
7.1 Esquema Proposicional en una variable
7.1.1 Definición
Es cualquier expresión en la que aparece una variable x , de tal manera que hay por lo menos
un nombre o constante que al reemplazar la variable x la expresión se convierte en una
proposición.
X+1= 5
Al darle a x un valor esto se convierte en una proposición
Ejemplo Y es inocente
Al reemplazar Y por “juan”, se convierte en una proposición.
7.1.2 Valor de un esquema proposicional
Se pude usar cualquier letra del alfabeto para los esquema/funciones proposicionales:
Se puede usar cualquier letra minúscula para representar las variables de los E.P.
F [x] => Representa un esquema proposicional
Un esquema proposicional se puede convertir en una proposición asignándole valores a las
variables del esquema proposicional.
• “Viva x”
Viva Santa Cruz No es un E.P
• “-6 < 1  6 > 5”
Ejemplo V V = V Es un E.P en una variable.
• Sea F(x) = F [x] = ”-x <1  x >5” encontrar 2 constantes x tales que se conviertan en una
proposición verdadera y otra falsa. Sea que x pertenece al conjunto de los números enteros.
F [x] = “-x <1  x > 5”
F [7] = “-7 < 1  7 >5”
V V =V Proposición verdadera
Habrá que asignar a x un valor que lo convierta en una proposición. Otra forma de hacerlo es
utilizando cuantificadores.
7.1.3 Cuantificador universal Ɐ
Los cuantificadores son símbolos que se utilizan para indicar cantidad de elementos de un conjunto
determinado que cumple con cierta propiedad de un E.P.
Un cuantificador universal se utiliza para afirmar que todos los elementos del conjunto cumplen con
determinada propiedad en una función.
Se lee:
 Para todo x
 Cualquiera sea x
 Para cada x
Así por ejemplo :
 Ɐ x, F[x] = “Para todos x, se verifica F[x]”
 Ɐ x, F[x] = “Cualquiera sea x, se verifica F[x]”
Lo cuantificadores van asociados con las variables del EP y van delante del esquema proposicional.
Sea“2x
Sea P[x]= F[x]es= “x es fiel”
par” en elenuniverso
el universo
de deloslosnúmeros
hombresnaturales hallar al menos una
proposición. F[x]=”x es fiel” en el universo de los hombres
Ejemplo P[x]=”2x esⱯpar”
x, F[x] = “Todo hombre es fiel”
“Cada hombre
Ɐx, P[x] = “Todo numero es fiel”
natural multiplicado por 2 es par”
“Cualquier
Ɐx, ~P[x] = “Cualquier numerohombre
natural es fiel”
multiplicado por 2 no es par”
Ɐx, ~F[x] = “Cualquier hombre no es fiel”
7.1.4 Cuantificador existencial Ǝ

Este se representa con Ǝ, y se utiliza para indicar que hay uno o mas elementos de un conjunto que
cumple uan determinada propiedad de una fucnipon proposcional.
Se lee (Ǝx) :
• Existe por lo menos un x, tal que”
• Para algún x
• Hay algún x
Ǝx : F[x] Ǝx/F[x]
Ǝx : F[x] = “Existe por lo menos un x, tal que se verifica F[x]”
Ǝx : F[x] = “Hay algún x, para el cual se verifica F[x]”
Sea V[x] = “x es viciosa a los chocolates” en el universo de las mujeres

Ejemplo Sea Q[n] = “n es impar” en el universo U = {1,2,3}, hallar al menos una proposición
Ǝx : V[x] = “Hay por lo menos una mujer que es viciosa de los chocolates”
Q[n] = “n es impar”
Ǝn : Q[n] = “Existe algún n € U que no es impar”
Ǝx: ~V[x] = “Alguna mujer no es viciosa de los chocolates”
7.1.5 Negación de enunciados cuantificados
Al negar E.P cuantificando, se invierte el cuantificador y se niega el E.P
~( Ɐx, F[x] )  Ǝx : ~F[x]

Ejemplo
~( Ǝx : F[x])  Ɐx, ~F[x]
~( Ɐx €A, F[x] )  Ǝx€A : ~F[x]

Ejemplo
~( Ǝx : ~F[x])  Ɐx, F[x]
~( Ɐy, (P[y] ^ Q[y]))  Ǝy, ~(P[y] ^ Q[y])

Ejemplo  Ǝy, (~P[y] v ~Q[y])

~( Ǝz , (~P[z])  Q[z]))  Ɐz, ~(~P[z]  Q[z])
 Ɐz, ~(~P[z]  Q[z])
 Ɐz, (~P[z] ^ ~ Q[z])
Si tiene una condicional y tiene una negación: convertir la condicional en

condicional, y se niega el consecuente manteniendo el antecedente (ley de la
negación de la condicional).
a) Especificación Universal (EU) : Si tengo una premisa la cual tiene un cuantificador
universal, no se puede aplicar a esa premisa reglas de inferencia si esta el cuantificador
universal asociado a la formula proposicional. Hay que retirarlo, aplicando la especificación
universal, dando un valor a la variable.
Ɐx , F[x]
________
F[a]
b) Especificacion Existencial (EE) : Si tengo una premisa la cual tiene un cuantificador
Existencial y necesita aplicar alguna regla de inferencia, no puede aplicar directo, debe
primero quitar el cuantificador. Esto se puede hacer especificando un valor a la variable en
cuestión.
Ǝx , F[x]
________
F[a]
c) Generalizacion Universal (GU) :
Si tiene una premisa cualquier, y necesita que la formula tenga el cuantificador se hace el inciso
a) al revés.
F[a]
_______
Ɐx , F[x]
d) Generalización Existencial (GE) :

Se tiene un esquema proposicional y quiere generalizarlo aplica inciso b) al revés.
F[a] Demostrar: ~P[5]

________
Ǝx , F[x] 1) Ɐx, (x >0 ↔ Q[x])
2) Ǝx: (Q[x] → ~P[x])
3) 5>0
_____________________
4) 5 > 0 ↔ Q[5] EU 1
5) Q[5] → ~P[5] EE 2
6) 5>0 → Q[5] LB 4 (Ley bicondicional)
7) 5>0 → ~P[5] SH 5,6 (Silogismo Hipotetico)
8) ~P[5] MPP 3,7 (Modus Ponendus Ponens)
e) Regla de identidad (I):
a=b a+c =d
b>c c=e
---------- ------------
a>c a+e=d
Demostrar: 4+6 > 2x3
1) Ɐx, (x > 6 ˅ x < 8)

2) 4+6 < 8
3) Ɐy, (y >6 → y > 3+3)
4) 3+3 = 2*3
_____________________
5) 4+6 > 6 ˅ 4+6 <8 EU 1
6) 4+6 > 6 → 4+6 >3+3 EU 3
7) 4+6 > 6 MTP 2,5
8) 4+6 > 3+3 MPP 6,7
9) 4+6 > 2*3 I 4,8
f) Condicional Contrarrecíproca :
pq  ~q  ~p

r  ~q  ~r v ~q
~q v ~r
q  ~r
r  ~q  q  ~r
Demostrar: Ǝx: ~Q(x)
1) Q(a) → R(a)
2) Q(a) → ~R(a)
_____________________
3) ~R(a)  ~Q(a) Condicional Contrarrecíproca 1
4) Q(a)  ~Q(a) SH 2,3
5) ~Q(a) ˅ ~Q(a) Condicional 4
6) ~Q(a) Simplificación. Disyuntiva 5.
7) Ǝx: ~ Q(x) GE 6
7.2 Esquema Proposicional de dos variables
7.2.1 Definición
Es cualquier expresión en la que aparece dos variables x , y , de tal manera que hay por lo
menos un nombre o constante que al reemplazar las variable x y la expresión se convierte en
una proposición.
x = y +1
Si x=3 , y =2 ; es un esquema proposicional.
y es amigo de z
Si reemplazo y por Juan , z por Lidia; tenemos un esquema proposicional.
x - y x - 4
Si reemplazo x=3 , y=4 ; no tenemos un esquema proposicional.
7.2.2 Cuantificación Simple de un E.P en 2 variables
Sea Existencialmente o Universalmente en una de sus variables, lo que se obtiene NO es una

proposición, Sino un E.P en la variable NO cuantificada. Por ejemplo, dado:
F [x,y] = "2x -y <6" , se tiene:

1. Ɐx, P[x,y] = " Ɐx, 2x .-y <6" Esquema proposicional en y
2. Ɐy, P[x,y] = " Ɐy, 2x -y <6" E.P en x
3. Ǝx, P[x,y] = " Ǝx, 2x -y <6" E.P en y
4. Ǝy, P[x,y] = "Ǝy, 2x-y <6" E.P en x
E.P G [x,y] = " x es esposo de y" se tienen los

siguientes E.P en una variable:
1. H[y]= "Ǝx : x es esposo de y" "Hay alguien que es esposo de y"
2. H[x]= "Ǝy : x es esposo de y" " x es esposo de alguna mujer"
3. H[y]= "Ɐx : x es esposo de y" "Todos son esposos de y"
4. H[x]= "Ɐy : x es esposo de y" "x es esposa de todas"

7.2.3 Cuantificación Doble

Todo E.P en dos variables precedido de cuantificadores, uno para cada variable
(cuantificada con las 2 variables) es un proposición, ya que asume uno de los valores de
verdad : Falso o Verdadero. Por ejemplo, dado:
Ɐx Ɐy F(x,y) Cuantificación homogénea

.
Ǝx Ǝy F(x,y)
Ɐx Ǝy F(x,y) Cuantificación heterogénea
Ɐy Ǝx F(x,y)
7.2.4 Negación de proposiciones doblemente cuantificados

La negación de proposiciones con 2 cuantificadores, se obtiene aplicando las reglas
de la negación de proposiciones con un cuantificador., ya que asume uno de los valores de
1. Negación de proposiciones con 2 cuantificadores homogéneos:

~(Ɐx,Ɐy, F(x,y)) <=> ~[Ɐx,Ɐy,F(x,y)]
<=> Ǝx: ~[Ɐy,F(x,y)]
<=> Ǝx: Ǝy: ~F(x,y)
2. Negación de proposiciones con 2 cuantificadores no

homogéneos:
~(Ɐx, Ǝy, F(x,y)) <=>~[Ɐx Ǝy F(x,y)]
<=> Ǝx: ~[Ǝy F(x,y)]
<=> Ǝx: Ɐy, ~F(x,y)

7.2 Esquema Proposicional de dos
variables
7.2.4 Leyes de lógica de cuantificadores

La negación de proposiciones con 2 cuantificadores, se obtiene aplicando las reglas
de la negación de proposiciones con un cuantificador., ya que asume uno de los valores de
1. Negación de proposiciones con 2 cuantificadores homogéneos:

~(Ɐx,Ɐy, F(x,y)) <=> ~[Ɐx,Ɐy,F(x,y)]
<=> Ǝx: ~[Ɐy,F(x,y)]
<=> Ǝx: Ǝy: ~F(x,y)
2. Negación de proposiciones con 2 cuantificadores no

homogéneos:
~(Ɐx, Ǝy, F(x,y)) <=>~[Ɐx Ǝy F(x,y)]
<=> Ǝx: ~[Ǝy F(x,y)]
<=> Ǝx: Ɐy, ~F(x,y)

7.2.5 Leyes de inferencia lógica

7.2.5 Reglas de inferencia lógica



Universidad Autónoma Gabriel Rene Moreno
Facultad de Ciencias exactas y Tecnología
Gracias !!!
El conocimiento empieza con el asombro.
(Sócrates)
Semestre I/2020 Ing. Mary Dunnia López N.

Cap1.1 Logica Simbólica

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap1.1 Logica Simbólica

Cargado por

Copyright:

Formatos disponibles

Universidad Autónoma Gabriel Rene Moreno

Facultad Ciencias Exactas y Tecnología

Semestre I/2020 Ing. Mary Dunnia López N.

Identificar Valorar proposiciones

Ing. Mary Dunnia López

Ing. Mary Dunnia López

Ing. Mary Dunnia López

Una lengua lógica es una lengua construida que ha

Ing. Mary Dunnia López

Ing. Mary Dunnia López

Ing. Mary Dunnia López

Lógica formal o Lógica simbólica o

Ing. Mary Dunnia López

 Una proposición es una oración de la que se puede decir que es falso o

P1[x] = “Dos es mayor que x", x E {1,2,3,4}

P3[n] = “La suma de los primeros n números

Ing. Mary Dunnia López

 Estocolmo es la capital de Francia (si es

Cada letra representa una proposición

Ing. Mary Dunnia López

Para determinar el valor de verdad se

En general para “n” proposiciones, se pueden presentar 2n posibilidades.

Ing. Mary Dunnia López

Proposiciones simples: Proposiciones Compuestas:

Conectivo lógico Notación Nombre

Ing. Mary Dunnia López

Los conectivos lógicos sirven para enlazar 2 o más proposiciones simples

Ing. Mary Dunnia López

Afecta a una sola proposición. Es un operador que cambia el valor de

p :Todo numero par es divisible entre 2.

Si p es Verdad, la negación de p es Falsa.

Vincula dos proposiciones mediante el conectivo lógico “y”, cuyo

Juan recupero su carnet y viajo a Chile.

V y V = Verdad  Única posibilidad de que sea verdad.

Ing. Mary Dunnia López

2.2.3 Disyunción inclusiva o Débil

Vincula dos proposiciones mediante el conectivo lógico “o” cuyo

Eliana viajara a Buenos Aires o a Salta.

2.2.4 Disyunción exclusiva o fuerte

Vincula 2 proposiciones mediante “O …. o “ su símbolo es delta.

O Sarah vive en la ciudad o en provincia.

Ing. Mary Dunnia López

Vincula 2 proposiciones mediante el conectivo lógico SI …

Si 3 es número primo entonces es múltiplo de 3

Si el antecedente es verdad y el consecuente es falso, el

Ing. Mary Dunnia López

“Cecy esta delgada si y solo si pesa menos de 50 kg”.

El bicondicional es verdad si las 2 proposiciones son de

Ing. Mary Dunnia López

2.2.7 Propiedades de las operaciones con proposiciones

 Se inicia trabajando los paréntesis

Ejemplo ( p q) ^ (p > q)

Ing. Mary Dunnia López

Ing. Mary Dunnia López

Ing. Mary Dunnia López

p q p^q p q ~q p ^ ~q (p^~q)^q (p^~q)^q

Ing. Mary Dunnia López

p q r rvp qvp ~(q v p) (r v p) ^ ~( q v p)

Ing. Mary Dunnia López

Ing. Mary Dunnia López

4.1 Implicación lógica

La implicación lógica «A, por lo tanto B» es una afirmación no hipotética, que

4.2 Equivalencia lógica