Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SIMBOLICA
ING. MAGNO EDWIN CALIZAYA A.
1.1 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.
1.2 CALCULO PROPOSICIONAL
1.2.1. 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
V F 1 0
F V 0 1
1.2.8.2 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
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
1.2.8.3. 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=“hoy es lunes” y q=“hoy es martes”, entonces la disyunción es:
p ᴠ q = “hoy es lunes o martes”
p ᴠ q = “hoy es lunes u hoy es martes”
• 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
1.2.8.4. 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”
p v q =“Hace frio O hace calor pero no ambas”
• Equivalencia Lógica: p v q <=> ( p Λ ̴ q ) V ( ̴ p Λ q ) <=> ̴ (p ↔ q )
• Valor de Verdad 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
1.2.8.5 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:
p → q =“Si ayer jugué al fútbol entonces hoy estoy cansado”
• Equivalencia Lógica: p → q <=> ̴ p V q
• Tabla 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
1.2.8.6. 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”
• Equivalencia lógica: p ↔ q <=> (p → q) Λ (p → q)
• Tabla 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 q→p (p → q) Λ(q → p) p q p↔q p q p↔q
V V V V V V V V 1 1 1
V F F V F V F F 1 0 0
F V V F F F V F 0 1 0
F F V V V F F V 0 0 1
1.2.8.7. 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”
• Ejemplo: SI p=“Esta nevando” y q=“Esta lloviendo”, entonces
la conjunción negativa es: p ↓ q =“Ni Esta Nevando Ni esta lloviendo”
• 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.
• Equivalencia lógica: (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
1.2.8.8. 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”
• Ejemplo: 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”
• 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.
• Equivalencia Lógica: (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
Resumen de todas las Tablas de verdad…
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
1.2.10. METODO ACUMULATIVO ->
por ejemplo construir la tabla de verdad de la siguiente
formula proposicional
𝑝 ∨ [(𝑝 ∧∼ 𝑟) ∧∼ 𝑞]
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
1.2.10. METODO POR PASOS ->
por ejemplo construir la tabla de verdad de la siguiente
formula proposicional 𝑝 ∨ [ 𝑝 ∧ ∼ 𝑟 ∧ ∼ 𝑞]
• 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
1.2.11 Clasificación de fórmulas proposicionales
• 1.2.11.1 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
• 1.2.11.2. 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
• 1.2.11.3. 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.
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
1.2.13 Leyes de la lógica proposicional
1.2.13 Leyes de la lógica proposicional
1 IDEMPOTENCIA 5 Leyes de la condicional 8 Leyes de identidad
a.1. (p Λ p) <=> p (implicación material) (P Λ T) P
a.2.(p V p) <=> p e.1. (p → q)<=>( ̴p V q) (Def. I.M.) (P Λ F) F
2Conmutatividad (P V T) T
b.1. p Λ q <=> q Λ p (P V F) P
6 Leyes Bicondicional
b.2. p V q <=> q V p f.2. (p ↔q)<=>[(p → q) Λ (q → p )]
b.3. p V q <=> q V p 9 Leyes de
b.4. p ↔ q <=> q ↔ p Complementación
b.5. p ↓ q <=> q ↓ p 7 Negación de las operaciones binarias (p V ̴ p) T
3. Asociatividad g.1. ̴(p Λ q) <=> ( ̴p V ̴q) L. Morgan (p Λ ̴ p) F
c.1. [(p Λ q) Λ r] <=> [p Λ (q Λ r)] g.2. ̴(p V q) <=> ( ̴p Λ ̴q) L. Morgan
̴T F
c.2. [(p V q) V r] <=> [p V (q V r)] ̴F T
4 Distributividad ̴ ( ̴p) p
d.1. [p Λ (q V r )]<=>[(p Λ q) V ( p Λ r )] 10 Leyes de absorción
d.2. [p V (q Λ r )]<=>[(p V q) Λ ( p V r )] [p Λ (p V q)]p
[p V (p Λ q)]p
1.2.14. Aplicación:
Simplificación de fórmulas
proposicionales.
1.2.14. 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
1.2.14. Ejercicio Nº 2
̴(p V q) V ( ̴p Λ q)
( ̴p Λ ̴q) V ( ̴p Λ q) Ley de Morgan
̴p Λ ( ̴q V q) Distributividad Inversa
( ̴p Λ T ) Complementación
̴ p Identidad
p q (p V q) ̴(p V q) ̴p ( ̴p Λ q) ̴(p V q) V ( ̴p Λ q)
V V V F F F F
V F V F F F F
F V V F V V V
F F F V V F V
1.2.14. 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
1.2.14. 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 ) Complementación
(p Λ ̴q) V ̴p Identidad
̴p V (p Λ ̴q) Conmutatividad
( ̴p V p ) Λ ( ̴p V ̴q) Distributividad
T Λ ( ̴p V ̴q) Complementación
̴p V ̴q Identidad
EJERCICIOS
DE EVALUACIÓN
DE LA LECCION
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
1.2.10. 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
1.2.10. 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.15. INFERENCIA LÓGICA
INFERENCIA LÓGICA
• El objetivo más importante de la lógica es la inferencia o deducción de
conclusiones a partir de un conjunto de premisas.
Def.- Sean P1, P2, P3, ..., Pk (k>= 1) y Q, proposiciones cualesquiera, atómicas o
moleculares. Se llama inferencia (razonamiento) a toda aseveración de que un
conjunto finito P1, P2, P3, ..., Pk de proposiciones originan como consecuencia otra
proposición final llamada Q.
• Pi es llamada premisas (prop. Inicial que se supone cierta sobre la cual se basa un
razonamiento)
• Q es llamada conclusión (proposición inferida)
Notación
• P1, P2, P3, ..., Pk Q
o
P1
P2
P3
:
Pk
Q
1.2.15.1. INFERENCIA VALIDA
Una inferencia P1, P2, P3, ..., Pk Q se dice valida, si Q es verdadera, siempre que
P1, P2, P3, ..., Pk son verdaderas. En otras palabras, si la condicional.
(P1 ˄ P2 ˄ P3 ˄... ˄ Pk ) Q es una tautología
Si (P1 ˄ P2 ˄ P3 ˄... ˄ Pk ) Q es una contradicción, entonces la inferencia es no
valida.
Teorema.- Si la inferencia P1 (p,q,r,…)…, Pk (p,q,r,…) Q (p,q,r,…), es valida,
entonces para cualesquiera P’, Q’, R’,… la inferencia
P1 (P’, Q’, R’,… )…, Pk (P’, Q’, R’,… ) Q (P’, Q’, R’,… ), es también valida.
1.2.15.2. REGLAS DE INFERENCIA
16 Regla de Premisas
• (p).- Esta regla nos permite añadir una nueva premisa
(proposiciónSimple o Compuesta) en cualquier punto de la
deducción, siempre que sea necesario.
• La prueba de verificación de la validez de una inferencia lógica se
puede lograr mediante tablas de verdad.
1.2.15.3. Métodos de Demostración
A continuación se desarrollan los métodos de demostración:
1) Demostración Directa.- Consiste en deducir la conclusión final,
después de algunas deducciones previas; para cada una de estas
ultimas se utilizan razonamientos validos sencillos, que se conocen con
el nombre de REGLAS DE INFERENCIA.
1) Demostración Directa
• Ejemp. Verificación de la validez del argumento p ~r
~ q , r p , q (p ~ q) ˄ (r p) ˄ q ~ r
• A
p q r ̴q (p → ̴ q) (r → p) (p → ̴ q) ˄ (r p) ˄ q ~r A ~r
V V V F F V F F V
V V F F F V F V V
V F V V V V F F V
V F F V V V F V V
F V V F V F F F V
F V F F V V V V V
F F V V V F F F V
F F F V V V F V V
1) Demostración Directa
Demostrar q Demostrar A ∧ B
1) p → (p ˄ q ) premisa 1) C → A premisa
2) (p→r)→ (s v q) premisa 2) B v D premisa
3) (p ∧ q) →r premisa 3) ̴ D ∧ C premisa
4) ̴s premisa ----------------------
4) ̴ D Simplificación 3
5) C Simplificación 3
5) p→r SH 3, 1 6) B MTP 2,4
6) svq MP 2,5 7) A MP 1, 5
7) q MTP 4,6 8) A ∧ B R. Adj 6,7
1) Demostración Directa
Simbolizar completamente las premisas y conclusión del razonamiento siguiente:
Si el reloj está adelantado, entonces Juan llego antes de las diez y vio partir el coche de
Andrés.
Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés.
• Demostrar: t
Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj esta
adelantado. 1) p (q ^ r) premisa
Por tanto, Andrés estaba en el edificio en el edificio en el momento del crimen. 2) s ~ r premisa
• Solución 3) s ˅ t premisa
1) (p ^ q) r prem
2) ~rvs prem
3) ~s prem
4) p prem
---------------------------------
5) q RP
6) ~r MTP 2,3
7) ~ (p ^ q) MT 1, 6
8) ~pv~q LD 7
9) ~q MTP 4,8
10) q ˄ ~ q A 5, 9
11) ~q RAA
3) Demostración Indirecta
Formalizando premisas y conclusión
• Demostrar formalmente la validez del argumento sig:
Demostrar ̴ p
• Los estudiantes estarán contentos si, y solo no hay examen 1) p ↔ ~q premisa
2) p r premisa
• Si los estudiantes están contentos, el profesor se sentirá feliz
3) r → ~ s premisa
• Si el profesor se siente feliz, no esta en condiciones de explicar 4) ~s → q premisa
-------------
• Si no esta en condiciones de explicar, habrá examen
5) p RP
• Por lo tanto, los estudiantes no están contentos 6) p ~ q LB 1
7) ~ q MP 5,6
• Sean las proposiciones simples:
8) s MT 4,7
• p = “ los estudiantes están contentos
9) ~ r MT 3,8
“ q = “ Hay examen “ 10) ~ p MT 2,9
• r = “ El profesor se siente feliz “ 11) p ˄ ̴ p A 5,10
12) ~ p RAA
• s = “ El profesor esta en condiciones de explicar “
1.2.15.4. Conclusiones no validas
La verificación de que una conclusión es no valida, o que no es consecuencia lógica
de las premisas , tiene dos etapas:
a)Representar en símbolos las premisas y la conclusión,
b)Encontrar una asignación de valores de verdad para las proposiciones simples,
de manera que la conclusión sea falsa y las premisas verdaderas.
Ej) Demostrar la validez del razonamiento: r p, ~ r v q , ~q ~p
Premisas rp ~rvq ~q ~p
V F F V V F ~ F ~ V
p q V V V F
r
.
. . El razonamiento no es valido
1.2.15.5. Consistencia e inconsistencia de premisas
• Consistencia de Premisas.- Hay casos en que el interés no es deducir una conclusión
particular a partir de un conjunto de premisa, sino averiguar si ese conjunto de
premisas es consistente. Si es factible hallar una asignación de valores de verdad en
la que todas las premisas son verdaderas simultáneamente, entonces las premisas
son consistentes.
• Demostrar la consistencia de las premisas,
pq q r ~r
• pq, q r , F ~ rF F F ~ F
V F
p V V V
q
r
•
1.2.15.5. Consistencia e inconsistencia de premisas
Inconsistencia de Premisas.- 1) r → (r ^ q) premisa
Se dice que un conjunto de premisas es 2) ~ s v r premisa
inconsistente, si no pueden ser verdaderas 3) ~ t v ~ q premisa
todas simultáneamente. 4) s ^ t premisa
Para encontrar la inconsistencia de las -------------
premisas se adopta la técnica de deducir una 5) s S4
contradicción cualquiera, empleando las 6) r MTP 2,5
reglas de las premisas y métodos de 7) r^q MP 1,6
deducción ya conocidos. 8) q S7
Demostrar la inconsistencia de las siguientes 9) ~t MTP 3,8
premisas: 10) t S4
11) t^~t A 9, 10
ESQUEMAS
PROPOSICIONALES
Ing. Magno Edwin Calizaya A.
1.3.3. ESQUEMAS PROPOSICIONALES EN UNA
VARIABLE
• Definición.- Un Esquema Proposicional es una variable es toda
expresión que tiene una variable y hay por lo menos un elemento del
Universo que al reemplazar por la variable se convierte en una
proposición.
Notación.- Para designar E.P. en una variable se utilizan símbolos tales
como :
F[x], G[x], H[x], ……. Se lee F de x, G de x , H de x
F[y], G[y], H[y], ……. Se lee F de y, G de y, H de y
F1[x], F2[x], F3[x], ……. Se lee F sub uno de x, F sub 2 de x , f sub 3 de x
Ejemplos de Esquemas Proposicionales
• Ejemplo:
“ x es un hincha de Oriente Petrolero”
“ y es un departamento de Bolivia”
“ z + 7 = 77 ”
• ¿x es un numero primo?
• ¡Viva x !
Valor de un Esquema Proposicional
P[x] Q[x]
P[x]
-----------------------------
Q[x]
1.3.5. CUANTIFICADORES U OPERADORES
1.3.5.1. Cuantificador Universal
• Definición.- El cuantificador universal está simbolizada por ∀ asociado
a la variable de un E.P. que indica todos los elementos del universo
tienen los atributos mencionados en el E.P.
• Notación.- ∀x , P[x]
• Lecturas
“para todo x, P[x] es verdadero”
“Cualquiera sea x, P[x] es verdadero”
“Para cada x, P[x] es verdadero”
“Para todo x, P[x]”
1.3.5.2. Cuantificador Existencial
• Definición.- El cuantificador existencial está simbolizado por ∃ que
asociado a la variable de un E.P. indica al menos un elemento del universo
tiene los atributos enunciados en el E.P.
• Notación.- ∃x: P[x]
• Lecturas.- ∃x: P[x]
• se lee “Existe por lo menos un x, tal que P[x] es verdadero”
• “Para algún x, P[x] es verdadero”
• “Hay algún x, para al cual P[x] es verdadero”
• “Existe por lo menos un x, tal que P[x]”
• “Para algún x, P[x]”
Cuantificador Existencial - Ejemplo
F[x] = ” x es un número impar“ anteponiendo el cuantificador existencial en la variable x, se tiene la
proposición universal ∃x: F[x] = ” ∃x, x es un número impar “ , se lee:
“Existe por lo menos un x, x es un número impar ”,
“Para algún x, x es un número impar ”
“Hay algún x, tal que x es un número impar ”
O simplemente
“Existe por lo menos un número que es impar ”,
“Hay algún número que es impar ”
“Algún número que es impar ”
Cuantificador Universal y Existencial -
Ejemplo
• P[x] =“x es trabajador” U=“Seres humanos”
• ∀x , P[x] se lee “todos los seres humanos son trabajadores”
Ej.: ∀x, (F[x] G[x]), x es la variable ligada y F[x] G[x] es el alcance del
cuantificador universal.
1.3.7. NEGACION DE ENUNCIADOS CUANTIFICADOS
a) La negación de una proposición cuantificada universalmente es equivalente a la negación del
E.P. Cuantificado por el operador existencial.
En símbolos
~ (∀x, F[x]) <=> (∃x: ~ F[x])
b) La negación de una proposición cuantificada existencialmente es equivalente a la negación del
E.P. Cuantificado por el operador existencial.
~ (∃x: F[x]) <=> (∀x,~ F[x])
Ej.: la negación de ∃x: x + 3 = 7 es:
A partir de dos E.P. F[x] y G[x], se puede construir las cuatro siguientes proposiciones
cuantificadas:
1) Directa: ∀x , (F[x] G[x])
2) Reciproca ∀x , (G[x] F[x])
3) Contraria ∀x , (~ F[x] ~ G[x])
4) Contrarrecíproca ∀x , ( ~ G[x] ~ F[x])
1.3.9. PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1. Universal Afirmativa
Su símbolo es “A”, 1° letra vocal derivada de la palabra latina Affirmo
Su estructura es "Todo S es P", donde S significa sujeto y P predicado.
Su forma cuantificacional es ∀x, (F[x]→ G[x])
Ej: F[x]= "x es un triángulo equilátero“ (3 lados)
G[x] = "x es triángulo isósceles“ (2 lados iguales..)
F[x] → G[x]= "Si x es un triangulo equilátero, entonces x es triangulo isósceles"
∀x, (F[x]→ G[x]) = "Todos los triángulos equiláteros son isósceles"
ϑ (∀x, (F[x]→ G[x]))= V
1.3.9. PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1.2. Universal negativa
Su símbolo es ¨E ¨, letra vocal derivada de la palabra latina nego
Su estructura es «Ningún S es P »,
Su forma cuantificacional es ∀x, (F[x]→ ̴ G[x])
Ej: F[x]= "x es un gato"
G[x] = " x es vuela"
F[x] → ̴ G[x]= "Si x es un gato, entonces x no vuela"