Está en la página 1de 54

INTRODUCCION A LA LOGICA

SIMBOLICA
ING. MAGNO EDWIN CALIZAYA A.
INTRODUCCION
• La Lógica simbólica aparte de ser ciencia es también considerada
como técnica.
• CIENCIA.- Porque investiga, desarrolla y establece los principios
fundamentales proveyendo los métodos necesarios para distinguir el
razonamiento correcto del incorrecto.
• TÉCNICA.- porque está relacionada con la destreza para interpretar el
razonamiento correcto y al mismo tiempo criticar el razonamiento
incorrecto.
• El razonamiento lógico tiene sus aplicaciones en las siguientes
disciplinas: Matemáticas, Computación, Ciencias Físicas, ciencias
Sociales.
PROPOSICIONES
• Es toda expresión verbal o escrita sobre cuyo significado tiene sentido
afirmar que es verdadero o falso.
• Ejemplos que sin son proposiciones
• Un triangulo tiene cuatro lados
• Actualmente Santa Cruz tiene 15 provincias
• Ejemplos que no son proposiciones
• ¿Cómo está usted?
• He decidido viajar
PRINCIPIOS….
• Principio de no contradicción
• Una proposición no puede ser verdadera y falsa simultáneamente

• Principio de tercero excluido


• Cualquiera que sea la proposición o es verdadera o es falsa, es decir,
se verifica siempre uno de estos dos y jamás un tercero.
NOTACION
• Las proposiciones se representan generalmente con letras minúsculas
del alfabeto latino, tales como: p, q, r
• Ejemplos:
• p = “Un triangulo tiene cuatro lados”
• q = “Actualmente Santa Cruz tiene 15 provincias”
•…
Valores de verdad de las proposiciones
• Definición.- Los valores de verdad de las proposiciones son dos:
• V = Uve mayúsculas inicial de verdad
• F = Efe mayúsculas inicial de falsedad
También se puede utilizar:
“1” en lugar de V , “0” en lugar de F
• V(p), se lee: “Valor de verdad de la proposición p”
• Ejemplo 1.- Si t=“El número 2 es par”, entonces V(t) = V
• Ejemplo 2.- Si r=“9 es número primo”, entonces V(r) = F
Clasificación de las proposiciones
• Proposiciones simples.- Son aquellas que no incluyen dentro de si a
ninguna otra proposición.
• Ejemplo 1.- u= “hoy es lunes”
• Ejemplo 2.- w = “A Patricia le gusta cantar”
• Proposiciones compuestas.- Son aquellas formadas por la
combinación de dos o más proposiciones simples, mediante la
utilización de las partículas que se denominan conectivos lógicos
• Ejemplo 1.- “2 no es número par”
• Ejemplo2.- “Si Patricia canta, entonces es feliz”
Tablas de verdad
• Una tabla de verdad ideada por F. Wittgenstein.
• Es un cuadro, en el cual se determina la verdad o falsedad de una
proposición molecular, tomando en cuenta todas las combinaciones
posibles de los valore de verdad de las proposiciones atómicas
componentes. p q r

p p q V V V
V V F
V V V F V
V V F
F V F F
F V F V V
F F F V F
F F V
F F F
OPERACIONES CON PROPOSICIONES
NEGACION
• Definición- La negación es una proposición p, es la proposición
compuesta que se obtiene insertando el adverbio de negación “no”
en la proposición original.
• Notación. ̴p se lee “no p”
• ̴p = “el triangulo no tiene tres lados”
• Otras Notaciones.- ¬ , −
• Definición de valores de verdad.- El valor de verdad de ̴p es V, si el
valor de verdad de p es F, y es F, si el valor de verdad de p es V.
• p ̴p p ̴p

V F 1 0
F V 0 1
CONJUNCION O PRODUCTO LOGICO
• DEFINICIÓN.- Dadas dos proposiciones p, q se llama conjunción de las
proposiciones dadas, a la proposición compuesta que se obtiene enlazando
a ambas proposiciones en el orden dado, mediante la conjunción “y”.
• Notación.- p Λ q se lee “p y q”
• Otras notaciones: p & q, p * q
• Ejemplo.- p=“Está lloviendo” y q=“Hace frio”, la conjunción es
p Λ q = Está lloviendo y hace frio.
Valores de verdad de la conjunción.- p Λ q es V solamente cuando los
valores de verdad de p y q son ambos V y es F en los casos restantes.
p q pΛq p q pΛq
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0
DISYUNCION O SUMA LOGICA
• Definición.- Dadas dos proposiciones p, q, se llama disyunción, a la
proposición compuesta que se obtiene uniendo a las proposiciones en el
orden dado, mediante la palabra “O”.
• Notación.- p ᴠ q, se lee “p o q”
• Ejemplo.- p=“Está nevando” y q=“2 es número primo”, entonces la disyunción
de las proposiciones dadas es: p ᴠ q = “Está nevando o 2 es número primo”
• Valor de verdad.- La disyunción de p ᴠ q es F, solamente cuando los valores de
verdad de p y q son ambos F, y es V en los casos restantes.
p q pᴠq p q pᴠq
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0
DISYUNCIÓN EXCLUSIVA
• Definición.- Se llama disyunción exclusiva de las proposiciones p, q, a la
proposición compuesta que se obtiene uniendo mediante las palabras “o..o..” o
simplemente mediante la disyunción “o” entendida de un modo exclusivo.
• Notación.- p v q se lee “o p o q” o “p o q pero no ambas”
• Ejemplo.- p=“Hace frío”, q =“hace calor”, la disyunción exclusiva es:
p v q =“O hace frio O hace calor”
• El valor de verdad de la disyunción exclusiva p v q es F, si los valores de verdad
de p y q son idénticos, y es V si los valores de verdad p y q son opuestos.
p q pᴠq p q pᴠq
V V F 1 1 0
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0
CONDICIONAL (Implicación Material)
• Definición.- Dadas dos proposiciones p, q (en ese orden) se llama condicional de las
proposiciones dadas, a la proposición compuesta que se obtiene enunciando el
condicional “si” seguido de la proposición p, a continuación la palabra “entonces” y
completando con la proposición q.
• Notación.- p → q, se lee: “si p, entonces q”, “p solo si q”, “q cuando p”…
• Ejemplo. Dado p=“ayer jugué al fútbol” y q=“hoy estoy cansado”, se obtiene la
condicional p → q =“Si ayer jugué al fútbol entonces hoy estoy cansado”
• El valor de verdad de p → q es falso, si el valor de verdad de p (antecedente) es
verdadero (V) y de q (consecuente) es falso, en los casos restantes es verdadero (V) .
p q p→q p q p→q
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1
BICONDICIONAL (Condicional doble)
• Definición.- Se llama bicondicional de las proposiciones p y q, a la proposición
compuesta que se obtiene enunciando q a continuación de p unidas ambas con el
término de enlace “si, y sólo si”.
• Notación.- p ↔ q, se lee: “p si, y sólo si, q”, “p es condición suficiente y necesaria
para q”
• Ejemplo. Si p=“hace frío”, q=“está húmedo el ambiente”, entonces p ↔ q =“Hace frío
si, y sólo si, está húmedo el ambiente”
• El valor de verdad, como su nombre lo dice, no es otra cosa que el condicional doble
(p → q) Λ(q → p). En efecto la tabla de verdad de p ↔ q, ha de ser la que
corresponde a la conjunción de las condicionales, como se muestra en la tabla
siguiente.
p q p↔q p q p↔q
p q p→q q→p (p → q) Λ(q → p)
V V V 1 1 1
V V V V V 1 0 0
V F F
V F F V F 0 1 0
F V F
F V V F F 0 0 1
F F V
F F V V V
Conjunción negativa
• Definición.- La conjunción negativa de las proposiciones p y q es la proposición “ni p
ni q” que equivale a la conjunción de las negaciones.
• Notación p ↓ q se lee “ni p ni q”
• Valor de verdad.- El valor de verdad p ↓ q es V, si los valores de verdad de p y q
son ambos F, en los casos restantes es F.
• (p ↓ q ) <=> ( ̴ p Λ ̴ q )
• Tabla de Verdad
p q P↓q p q P↓q
V V F 1 1 0
V F F 1 0 0
F V F 0 1 0
F F V 0 0 1

• SI P=“Juan es Flaco” y q=“Juan es gordo”, entonces la conjunción negativa es: p ↓ q


=“Juan ni es flaco ni es gordo”
Disyunción negativa
• Definición.- La conjunción negativa de las proposiciones p y q es la proposición “no q o
no q” que equivale a la disyunción exclusiva de las negaciones.
• Notación p ↑ q se lee “no p o no q”
• Valor de verdad.- El valor de verdad p ↑ q es F, si los valores de verdad de p y q son
ambos V, en los casos restantes es V.
• (p ↑ q ) <=> ( ̴ p v ̴ q )
• Tabla de Verdad

p q P↑q p q P↑q
V V F 1 1 0
V F V 1 0 1
F V V 0 1 1
F F V 0 0 1

• SI P=“Juan es Flaco” y q=“Juan es gordo”, entonces la disyunción negativa es: p ↑ q


=“Juan no es flaco o no es gordo”
FORMULAS PROPOSICIONALES o
PROPOSICIONES COMPUESTAS
DEFINICION FORMULAS PROPOSICIONALES
• Fórmula proposicional es toda expresión que posee un número finito
de letras (variables proposicionales) p, q, r, ..; y un número de enlaces
lógicos (constantes lógicas) ̴, Λ, ᴠ…; en una correcta combinación.
• Es una combinación de proposiciones y conectivas lógicas que dan
como resultado otra proposición.
• Notación.- usaremos las letras α,β…para representar fórmulas
proposicionales.
• Ejemplos (p → q) ᴠ ( r ↔ s)
(r ᴠ q) Λ r
Jerarquía de los conectivos lógicos
• Mas débil: ̴
• Mas fuerte: ↔
• Igual jerarquía: Λ V
• Orden de jerarquía ↔ , → , Λ , ̴
• (p v q) Λ r ≠ p v (q v r)
• p → (q Λ r) = p → q Λ r
• (p → q) v r ≠ p → q v r
• p v q Λ r …… poner paréntesis.
• p v q ↔ r → s correcto!...
CONSTRUCCION DE TABLAS DE VERDAD
• 2n filas , n= numero de proposiciones simples
• Columnas? Diferentes agrupaciones de proposiciones atómicas…
• Determinar los valores de verdad
• Ejemplo (r → s) Λ (s → r)
Fila R S r→s s→r (r → s) Λ (s → r)

1 V V V V V
2 V F F V F
3 F V V F F
4 F F V V V
PASOS 1 2 3
METODO ACUMULATIVO
p q r ∼𝑞 ∼𝑟 𝑝 ∧∼ 𝑟 (𝑝 ∧∼ 𝑟) ∧∼ 𝑞 𝑝 ∨ [(𝑝 ∧∼ 𝑟) ∧∼ 𝑞]
V V V F F F F V
V V F F V V F V
V F V V F F F V
V F F V V V V V
F V V F F F F F
F V F F V F F F
F F V V F F F F
F F F V V F F F

• Ejemplo: (𝑝 ∧ 𝑞) →∼ 𝑞
METODO POR PASOS
p q r 𝑝 ∨ [ 𝑝 ∧ ∼𝑟 ∧ ∼ 𝑞]

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

pasos 1 5 1 3 2 4 2

• Ejemplo: (𝑝 ∧ 𝑞) →∼ 𝑞
Clasificación de fórmulas proposicionales
• Tautología.- Es una fórmula proposicional que resulta verdadera en
todos los casos, independientemente de los valores de verdad de las
proposiciones atómicas.

p q pΛq pvq (p Λ q ) → (p v q )

V V V V V
V F F V V
F V F V V
F F F F V
…Clasificación de fórmulas proposicionales
• Antitautología o Contradicción.- Es una fórmula proposicional, cuyo
valor de verdad resulta siempre falso,….

p ̴p P Λ ̴p
V F F
F V F
…Clasificación de fórmulas proposicionales
• Contingencia.- Es una formula proposicional cuyo valor de verdad
toma por lo menos una vez el valor de verdad V y por lo menos una
vez el valor de verdad F.

r s r→s s→r (r →s) Λ (s →r)


V V V V V
V F F V F
F V V F F
F F V V V
RELACIONES ENTRE FORMULAS
PROPOSICIONALES
1) Implicación Lógica
• Se dice que f1 (p, q, r, … ) implica lógicamente f2 (p, q, r, …) si, y solo si, la
condicional f1 (p, q, r, … ) → f2 (p, q, r, …) es una tautología.
• En otras palabras se dice que f1 (p, q, r, … ) implica f2 (p, q, r, …) si la última
columna de su tabla de verdad una tautología (V)
• Notación.- f1 (p, q, r, … ) => f2 (p, q, r, …) se lee f1 (p, q, r, … ) implica lógicamente
f2 (p, q, r, …)
• f1 (p, q, r, … ) => f2 (p, q, r, …) si 𝜗[f1 (p, q, r, … ) → f2 (p, q, r, …) ] = V
• Nota.- → operador entre proposiciones
=> relación entre fórmulas proposicionales
• Ejemplo. La condicional ( p Λ q ) → p es una tautología, p q p Λ q ( p Λ q ) → p
Porque la ultima columna de la tabla de verdad esta V V V V
formada por uves (V)es una tautología, V F F V
𝜗[( p Λ q ) → p ] = V (Se lee p y q implica p) F
F
V
F
F
F
V
V
2) Equivalencia Lógica
• Dos fórmulas proposicionales f1 (p, q, r, … ) y f2 (p, q, r, …) son lógicamente
equivalente si, y sólo si para valores cualquiera de p, q, r, ... reproducen
idénticos valores de verdad para las fórmulas f1 (p, q, r, … ) y f2 (p, q, r, …)
• Notación.- f1 (p, q, r, … ) <=> f2 (p, q, r, …) se lee f1 (p, q, r, … ) es
lógicamente equivalente f2 (p, q, r, …)
• Las fórmulas proposicionales f1 =“ p → ̴ q” y f2 “ ̴ p v ̴ q” son
lógicamente equivalente porque f1 y f2 generan idénticos valores de verdad.
P q ̴p ̴ q p→ ̴q ̴pv ̴q
V V F F F F
V F F V V V
F V V F V V
F F V V V V
Relaciones…. Equivalencia Lógica
• Dos formulas proposicionales f1 (p, q, r, … ) y f2 (p, q, r, …) son lógicamente
equivalente si, y sólo si para valores cualquiera de p, q, r, ... reproducen
idénticos valores de verdad para las fórmulas f1 (p, q, r, … ) y f2 (p, q, r, …)
• Notación.- f1 (p, q, r, … ) <=> f2 (p, q, r, …) se lee f1 (p, q, r, … ) es
lógicamente equivalente f2 (p, q, r, …)
• Las formulas proposicionales f1 =“ p → ̴ q” y f2 “ ̴ p v ̴ q” son
lógicamente equivalente porque f1 y f2 generan idénticos valores de verdad.
P q ̴p ̴ q p→ ̴q ̴pv ̴q

V V F V V V
V F F F F F
F V V V V V
F F V F V V
TEOREMA
• Dos fórmulas proposicionales son lógicamente equivalente si, y sólo
si, la bicondicional entre ellas es una tautología.

p q ̴p ̴ q ̴q → ̴p p→q ( ̴ p → ̴ q) ↔ (p → q )

V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
PROPOSICIONES ASOCIADAS A UNA
CONDICIONAL
• Condicional recíproca (o conversa): La condicional reciproca de p→q es q→p
• Condicional contraria (o inversa): La condicional contraria de p →q es p̴ → ̴q
• Condicional contrarrecíproca (o contrapositiva): La condicional
contrarrecíproca de p →q es ̴q → ̴p

p q p→q q→p ̴ p→ ̴ q ̴q→ ̴ p


V V V V V V
V F F V V F
F V V F F V
F F V V V V
Relación que relaciona las 4 condicionales.
• p→q Recíprocas q→p
Contraria

Contraria
• ̴p→ q
̴ Recíprocas ̴q → ̴p
Resumen de todas las Tablas de verdad…

p q ̴p ̴ q pΛq pVq pVq p→q p↔q P↓q p↑q


V V F F V V F V V F F
V F F V F V V F F F V
F V V F F V V V F F V
F F V V F F F V V V V
Leyes de la lógica proposicional
LEYES DE LA LOGICA PROPOSICIONAL
a. IDEMPOTENCIA c. Asociatividad
a.1. (p Λ p) <=> p c.1. [(p Λ q) Λ r] <=> [p Λ (q Λ r)]
a.2.(p V p) <=> p c.2. [(p V q) V r] <=> [p V (q V r)]
b. Conmutatividad
d. Distributividad
b.1. p Λ q <=> q Λ p
d.1. [p Λ (q V r )]<=>[(p Λ q) V ( p Λ r )]
b.2. p V q <=> q V p
d.2. [p V (q Λ r )]<=>[(p V q) Λ ( p V r )]
b.3. p V q <=> q V p
b.4. p ↔ q <=> q ↔ p
b.5. p ↓ q <=> q ↓ p
…LEYES DE LA LOGICA PROPOSICIONAL
• Leyes de la condicional Negación de las operaciones binarias
(implicación material) g.1. ̴(p Λ q) <=> ( p̴ V ̴q) L. Morgan
e.1. (p → q)<=>( ̴p V q) (Def. I.M.) g.2. ̴(p V q) <=> ( ̴p Λ ̴q) L. Morgan

Leyes Bicondicional
f.2. (p ↔q)<=>[(p → q) Λ (q → p )]
…LEYES DE LA LOGICA PROPOSICIONAL
h) Leyes de identidad • ̴T  F
• (P Λ T)  P • ̴F  T
• (P Λ F)  F • ̴ ( ̴p)  p
• (P V T)  T j) Leyes de absorción
• (P V F)  P • [p Λ (p V q)]p
i) Leyes de Complementación • [p V (p Λ q)]p
• (p V ̴ p)  T
• (p Λ ̴ p)  F
EJERCICIOS
Las siguientes expresiones son proposiciones?
• El calor dilata los cuerpos • Es
• 4 es un número impar • Es
• Juan ama la música • Es
• La música es amada por Juan • Es
• Bolívar nació en 1783 • Es
• La luz tiene peso • Es
• El pensamiento es materia • Es
• El gallo es verde • Es
• El Mono es viejo • Es
• La víbora tiene orejas • Es
Las siguientes expresiones son proposiciones?
• ¿Quién viene? • No Es
• Deténgase • No Es
• Cuantos años han pasado • No Es
• ¿Me crees? • No Es
• ¡Viva Oriente Petrolero! • No Es
• 3 + 5 -7 • No Es
Las siguientes expresiones son proposiciones?
• Algunos alumnos estudian •Es
• Los perros ladran •Es
• 3+5=10 •Es
•2x3=6 •Es
• ¡Cuidado con los perros! •No es
•X+4=5 •No es
• log 234 + log 1753 •No es
HALLAR EL VALOR DE VERDAD
• p= “el plátano es mineral” • u= “2< 100”
v(p) = F v(u)= V
• q=“El sol alumbra” • w=“La suma dos números impares
v(q) =V es un numero par”
• r=“Los hombres pueden superarse” v(w)=V
v(r) = V • x=“Rene Barrientos murió en un
accidente aéreo”
• s=“5+3=6” v(x)=V
v(s) = F • y=“Un triángulo equilátero tiene 3
• t=“(4+5)2= 42 + 52” lados iguales”
v(t)= F v(y)=V
Traducir al lenguaje corriente
p=“Hace frío”, q=“Está lloviendo”
̴q = “No está lloviendo”
pᴠq= “Hace frío o está lloviendo”
pΛq= “Hace frío y está lloviendo”
p→q= “Si hace frío, entonces esta lloviendo”
p↔q= “hace frio si, y solo si esta lloviendo ”
p v q= “o hace frio o esta lloviendo”
̴q → ̴p= “si no esta lloviendo entonces no hace
frío”
Traducir al lenguaje simbólico
p=“Jaime es cruceño” , q =“Claudio es • No es verdad que Claudio es tarijeño
tarijeño” ̴q
• No es cierto que, si Claudio no es • Claudio no es tarijeño o Jaime es cruceño
tarijeño, entonces Jaime es cruceño
̴q v p
̴( q
̴ →p)
• Jaime es cruceño, pero Claudio es
• Si Jaime es cruceño, entonces Claudio no tarijeño
es tarijeño
pΛq
p → ̴q
• Es falso que Jaime no es cruceño
• Jaime no es cruceño si, y sólo si Claudio
no es tarijeño ̴ ( ̴ p)
̴p ↔ ̴q
Construir las tablas de verdad de las
siguientes formulas proposicionales
• ̴ (q → p) → p

p q q→p ̴ (q → p) ̴ (q → p) → p
V V V F V
V F V F V
F V F V F
F F V F V
Construir las tablas de verdad de las
siguientes formulas proposicionales
• (q V ̴ r ) ↔ (p → r)
p q r ̴r (q V ̴ r ) (p → r) (q V ̴ r ) ↔ (p → r)
V V V F V V V
V V F V V F F
V F V F F V F
V F F V V F F
F V V F V V V
F V F V V V V
F F V F F V F
F F F V V V V
1.2.14. Aplicación:
Simplificación de fórmulas
proposicionales.
Ejercicio Nº 1
(q V ̴p) Λ q) 
( q V ̴p) Λ (q V F )  Ley de Identidad
q V ( ̴p Λ F )  Distributividad Inversa
qV F] Ley de Identidad
q Ley de Identidad
p q ̴p q V ̴p (q V ̴p) Λ q)
V V F V V
V F F F F
F V V V V
F F V V F
Ejercicio Nº 2
̴(p V q) V ( ̴p Λ q) 
( ̴p Λ ̴q) V ( ̴p Λ q)  Negación, Ley de Morgan
[ ̴p Λ ( ̴q V q]  Distributividad Inversa
[ ̴p Λ T]  Complementación
̴p  Identidad
Ejercicio Nº 3
(p Λ q) V ( ̴p Λ q) 
( q Λ p) V (q Λ ̴p)  Conmutatividad
[ q Λ ( p V ̴p ) ]  Distributividad Inversa
[ qΛ T] Complementación
q Identidad
Ejercicio Nº 4
[ ̴ (p Λ ̴q) → ( ̴p Λ ̴q)] V ( ̴p Λ q)
̴ [ ̴(p Λ ̴q)] V ( ̴p Λ ̴q) V ( ̴p Λ q)  Def. Implicación Material
(p Λ ̴q) V ( ̴p Λ ̴q) V ( ̴p Λ q)  Doble negación
(p Λ ̴q) V [( ̴p Λ ̴q) V ( ̴p Λ q)]  Asociatividad
(p Λ ̴q) V [ ̴p Λ ( ̴q V q)]  Distributividad inversa
(p Λ ̴q) V ( ̴p Λ T )  Ley del tercero excluido
(p Λ ̴q) V ̴p  Elemento neutro
̴p V (p Λ ̴q)  Conmutatividad
( ̴p V p ) Λ ( ̴p V ̴q)  Distributividad
T Λ ( ̴p V ̴q)  Ley del tercero excluido
̴p V q̴  Elemento neutro
BIBLIOGRAFIA
• ALGEBRA, Autor: Armando O. Rojo.
• LOGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS 5ta Edición Autor:
Braulio Cáceres Ch.
• Algebra I Autor: Pedro Gutiérrez F.
Muchas gracias por su atención…

También podría gustarte