Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica 19 20
Logica Matematica 19 20
APLICADAS
ASIGNATURA: MATEMÁTICAS
Conceptualización
Proposiciones simples:
Son expresiones que sirven para unir dos o más proposiciones, siendo los
más importantes los que se detallan a continuación.
EJEMPLO
EJEMPLO:
Hallar el valor de verdad de:
p :: 3 + 2 = 5 ó q:: “ Ambato es la capital del Ecuador”.
EJEMPLO
EJEMPLO:
Hallar el valor de verdad de:
p :: 3 > 2 y q:: “ Loja está ubicada en el norte del Ecuador”.
Nota: Hay palabras como “pero”, “sin embargo”, “además”, “aunque”, “no
obstante”, “a la vez”, “,”, etc. que también unen proposiciones
conjuntivamente y se pueden simbolizar por “ ”.
CONDICIONAL ): Si p y q son proposiciones, el conectivo lógico condicional o
implicación nos da una nueva proposición p q que se lee “p entonces q” o “p
condición q” o “si p, entonces q”. La proposición p q por definición equivale
~p v q. A la expresión p se le denomina antecedente y a q consecuente.
EJEMPLO:
Hallar el valor de verdad de:
p :: 3 - 2 =1 y q:: “ Sebastián de Benalcázar fundó la ciudad de Quito”.
Solución:
La implicación quiere decir que “si 3 – 2 = 1” entonces “Sebastián de Benalcázar
fundó la ciudad de Quito”. P es verdadera (V) ; Q es verdadera (V) , entonces:
V V = V ( De acuerdo a la tabla V V = V)
EJEMPLO:
Si madrugo entonces llego temprano.
En este ejemplo puede suprimirse la palabra "entonces" y remplazarse por una "," así:
Si madrugo, llego temprano.
Nota: También son conectivos condicionales los términos “por que”, “puesto que”,
“ya que”, “cuando”, “cada vez que”, etc.
BICONDICIONAL (): La doble implicación o bicondicional de dos
proposiciones p y q, es la proposición compuesta mediante el conectivo
lógico “si y solo si” que se simboliza como p q o lo que es lo mismo
(p q q p ).
Ejemplo:
Ejemplos:
(p q) q.
p q r V q p. El orden es el siguiente:
p [q (r V q)] p.
4.Regla.- Si la proposición no tiene signos de puntuación, ni
paréntesis, se puede indicar el orden de los operadores al
mencionar cual es el operador predominante.
Ejemplos:
Realizar la conjunción: p V q p q
p V [q (p r)] p.
CONSTRUCCION DE TABLAS DE VERDAD
2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla así
por ejemplo:
Si hay tres proposiciones, el número de combinaciones serán 𝟐𝟑 =8; por lo tanto para
primera proposición serán 4 verdaderas y 4 falsas; para la segunda proposición 2
verdaderas y 2 falsas y para la tercera: una verdadera y la otra falsa.
(p V q) q (p V q) r r (q V p)
V F V V F F V V F F V V V V V F
V V F F V F V V F F F F V V V F
F V V F F F V V V F V V F F F F
F F F F V F V V V F F F V F F F
V F F F V V V V V V V
V F F F F F F V V V V
F F V V F V V V F V V
F F V V F F F V F V V
EQUIVALENCIA E IMPLICACION LOGICA
Símbolos: , .
pq
a. p q es una tautología.
b. p V q es una tautología.
c. p q es una contradicción.
Desarrollar la tabla de verdad del siguiente ejercicio:
PRINCIPIOS LOGICOS
Ley de Identidad
pp
p p Una proposición solo es idéntica a sí misma
Ley de no contradicción
EQUIVALENCIAS NOTABLES
a) ~ (~p) p
Ley de idempotencia
a) (p p) p
b) (p p) p
Ley conmutativa Leyes del condicional
a) (p q) (q p) a) pq ~ p q
b) (p q) (q p) b) ~ (pq) (p ~ q)
c) (p q) (q p)
Leyes del bicondicional
Ley asociativa
a) p q (pq) (qp)
a) p (q r) (p q) r b) p q (p q) (~ p ~ q)
b) p (q r) (p q) r c) p q ~(p v q)
c) p (q r) (p q) r
Leyes de Absorción
Ley distributiva
a) p (p q) p
a) p (q r) (p q) (p r) b) p (p q) p
b) p (q r) (p q) (p r) c) p (~ p q) p q
c) p(q r) (p q) (p r) d) p (~ p q) p q
d) p(q r) (p q) (p r) e) p (p ~ q) p
f) p (p ~ q) p
Leyes De Morgan
Leyes de transposición
a) ~ (p q) (~ p ~ q)
b) ~ (p q) (~ p ~ q) a) p q ~ q~ p
b) p q ~ q~ p
Leyes de Exportación
Leyes de Complementación
a) p ~ p V
b) p ~ p F
a) pVp
b) pFF
c) pVV
d) pFp
Diferencia Simétrica
a) p D q (p q) ~ (p q)
Otras
a) (p q) (p ~ q) p b) (p q) (p ~ q) p c)p( p q ) V
EJEMPLOS
Solución: Solución:
~[(pq) q]p Ley del condicional ~(p q) (p q) Ley del condicional
[~(pq)~ q]p Ley de Morgan (~p ~ q) (p q) Ley de Morgan
[(p~q)~ q]p Ley del condicional (~p p) (~ q q) Ley asociativa
Solución: (p q)p
([~p (p q)] q)(p q) Ley del condicional (~ p~ q)p
(~ p~ q)p
p ~ q~ p
p ~ q~ p (p ~ q)~ p
~(p ~ q) ~ p Agrupamiento y ley del condicional
(~p q) ~ p q (~p ~ p) Ley de Morgan y asociativa
q ~p Ley de idempotencia
pq Ley del condicional
(pq)∨(pr)⇔p(q∨r)
( p q ) ∨ ( p r ) ⇔ ( p’ ∨ q ) ∨ ( p’ ∨ r ) ( Definición )
⇔ ( ( p’ ∨ q ) ∨ p’ ) ∨ r ( Asociatividad )
⇔ ( p’ ∨ ( q ∨ p’ ) ) ∨ r ( Asociatividad )
⇔ ( p’ ∨ ( p’ ∨ q ) ) ∨ r ( Conmutatividad )
⇔ ( ( p’ ∨ p’ ) ∨ q ) ∨ r ( Asociatividad )
⇔ ( p’ ∨ q ) ∨ r ( Idempotencia )
⇔ p’ ∨ ( q ∨ r ) ( Asociatividad )
⇔p→(q∨r) ( Definición )
(pr)∨(qr)⇔(p∧q)r
( p r ) ∨ ( q r ) ⇔ ( p’ ∨ r ) ∨ ( q’ ∨ r ) ( Definición )
⇔ p’ ∨ ( r ∨ ( q’ ∨ r ) ) ( Asociatividad )
⇔ p’ ∨ ( ( r ∨ q’ ) ∨ r ) ( Asociatividad )
⇔ p’ ∨ ( ( q’ ∨ r ) ∨ r ) ( Conmutatividad )
⇔ p’ ∨ ( q’ ∨ ( r ∨ r ) ) ( Asociatividad )
⇔ p’ ∨ ( q’ ∨ r ) ( Idempotencia )
⇔ ( p’ ∨ q’ ) ∨ r ( Asociatividad )
⇔ ( p ∧ q )’ ∨ r ( De Morgan )
⇔(p∧q)r ( Definición )
( p ↔ q )’ ⇔ p’ ↔ q
( p ↔ q )’ ⇔ ( ( p → q ) ∧ ( q → p ) )’ ( Definición )
⇔ ( ( p’ ∨ q ) ∧ ( q’ ∨ p ) )’ ( Definición )
⇔ ( p’ ∨ q )’ ∨ ( q’ ∨ p )’ ( De Morgan )
⇔ ( ( p’ )’ ∧ q’ ) ∨ ( ( q’ )’ ∧ p’ ) ( De Morgan )
⇔ ( p ∧ q’ ) ∨ ( q ∧ p’ ) ( Doble Negación )
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( ( p ∧ q’ ) ∨ p’ ) ( Distributividad )
⇔ ( ( p ∨ q ) ∧ ( q’ ∨ q ) )∧( ( p ∨ p’ ) ∧ ( q’ ∨ p’ ) )
( Distributividad )
⇔ ( ( p ∨ q ) ∧ V ) ∧ ( V ∧ ( q’ ∨ p’ ) ) ( Complemento )
⇔ ( p ∨ q ) ∧ ( q’ ∨ p’ ) ( Identidad )
⇔ ( ( p’ )’ ∨ q ) ∧ ( q’ ∨ p’ ) ( Doble Negación )
⇔ ( p’ → q ) ∧ ( q → p’ ) ( Definición )
⇔ p’ ↔ q ( Definición )
FUNCION PROPOSICIONAL
EJEMPLOS:
Los cuantificadores son símbolos que nos permiten evaluar una función
proposicional.
Ejemplo:
Ejemplo:
CONVERSIONES (EQUIVALENCIAS)
[ x A: P(x)] ~ [$ x A: ~ P(x)]
[$ x A: P(x)] ~ [ x A: ~ P(x)]
Cuatro modelos básicos de enunciados de la lógica clásica:
NEGACIÓN DE UN CUANTIFICADOR
Solución:
Solución:
EJEMPLO 3
Solución
Solución
EJEMPLO 5
Hallar el conjunto de verdad de: P(x) Q(x) , donde P(x) x 1 , Q(x) x < 10 .
∪ es el conjunto de los reales.
Solución
Considerar x, y R .
a) x : x + 5 = 0
b) $y, x : (x + y = 7 x - y = 5)
p: 5 7; q: 1 + 1 = 2; r: 3 + 2 = 5; s: 4 – 2 = 5
5 7,entonces 1 + 1 = 2, y 3 + 2 = 5
5 7 si solo si 1 + 1 = 2 y 3 + 2 = 5 o 4 – 2 = 5
1 + 1 = 2 o 3 + 2 = 5, pero no ambos.
p: 3 1; q: 1 + 3 = 5; r: 2 +1 = 3
(p q) (q r)
(p q) V (p v q)
[p (q V r)
1–4=3y2+1=5,o 1–43y2+15
Si 4 + 2 = 6 entonces 4 + 2 6 o 1 – 1 = 3
No es verdad que: “ 2 + 3 = 5 y 1 – 2 = 3 o 1 – 3 = 3 ”
Escriba con símbolos, lea y encuentre el valor de verdad de:
Si 1 – 3 = 4 y 1 + 1 = 2, implica que 1 + 1 2
2 + 3 5 si solo si 2 + 2 = 4 , y 2 + 2 4 y 2 + 3 = 5
No es verdad que : “1 + 3 = 4 o 4 + 1 = 5”
(p q) (p V q)
[(p q) q] p