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
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
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
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.
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
Contraria
• ̴p→ q
̴ Recíprocas ̴q → ̴p
Resumen de todas las Tablas de verdad…
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…