Ollanta Condo Guevara 024100872c

1.1 Enunciados, proposición lógica

Enunciados:
-Por favor, ordena tu cuarto esta tarde.
-Tal vez tenga razón aquel sujeto.
- ¡Qué belleza!
Proposición lógica:
-4 <7 es una proposición con valor veritativo falso.
-3 es un numero primo es una proposición con valor veritativo verdadero.
-45 ÷ 5=8 es una proposición con valor veritativo falso.

1.2 Clases de proposiciones y conectivos lógicos:

- El 14 y el 7 son factores del 42. p∙q p. compuesta

-Jorge robo el dinero p p. simple

-Luis y Gabriel no son cantantes ¬ p ∙ ¬q p. compuesta

-4 y 5 son divisores de 20 p∙q p. compuesta

-El gato no es color café ¬p p compuesta

-Luis; Ana y Raúl son Doctores p ∙ q ∙r p. compuesta

1.3 Análisis del valor de verdad de las proposiciones (Tablas de verdad)

( p ∨q) →( p ∨q)
p q (p ∨ q) → (p ∨ q)

v v v v v v v v v

v f v v f v v v f

f v f v v f v v v

f f f f f v f f f

( p ∙ q)→(¬ p ∨ q)
p q (p . q) → ¿ ∨ q)

v v v v v v f v v

V f v f f v f f f

F V f f v v v v v
 f F f f f v v v f

https://es.scribd.com/document/511942017/Tablas-de-Verdad-Resuelto

~ (p ∨ q) ↔ (~ p ^ ~ q)

p q ¬( p ∨q) ↔ (¬ p ∙ ¬q)
V V f V F

V F f V F

F V f V F

f f v v v

[~(p ∨ q)] ↔ [(~ p ) ^ (~q)]

p q [¬( p ∨ q)] ↔ [(¬ p)∙(¬q )]

V V F V f

V F F V F

F V F V F

f f v v V

p ↔ q) ↔ ~ [(p → q) ^ (q → p)]

p q ( p ↔ q) ↔ ¬[( p → q) ∙ (q → p)]

V v V f V V V

V F F f F F V

F V F F V F F

f F v f v v v

(p → q) ↔ (~ p ∨ q)

p q ( p → q) ↔ (¬ p ∨ q)
V V V V V
 V F F V F

F V V V v
f F v V V
https://www.visualavi.com/tablas-verdad-ejercicios-resueltos-verdadero-falso/
1.4 Equivalencias lógicas, leyes de equivalencias notables
Simplificar

¬[¬( p ∙ ¬q ∨ p) ∨ p]∨q
¬[( p ∙¬ q) → p]∨ q

¬[¬ p ∨q ∨ p ]∨ q
¬[(¬ p ∨ p)∨q ]∨ q
¬[V ∨ q]∨ q
¬V ∨ q
F∨q
q

[ p → ¬(q → p)]→ ¬q
¬[¬ p ∨¬(¬q ∨ p)]∨¬ q
[ p ∙(¬ q ∨ p)]∨¬ q
p ∨¬ q

Señalar si es una tautología, contradicción o contingencia

[ p ∙( p → q)]→ q
¬[ p ∙(¬ p ∨ q)]∨q
¬[ p ∙ q ]∨ q
¬ p ∨ q ∨q
¬ p vV
V es un tautología

[ ( ¬ q →¬ p ) → ( p ∨¬q ) ] ∙ ¬ ( p ∙ q )
[ ¬ ( q ∨¬ p ) ∨ ( p ∨¬ q ) ]
[ ( ¬ q ∙ p ) ∨ p ∨q ]
[ p∨ ¬q ] ∙ ( ¬ p ∨¬ q )
( ¬ p ∙ ¬q ) ∨ ¬q
¬q
https://www.youtube.com/watch?v=BOydu7cpv70

¬ [ ¬ ( p ∙ q ) → ¬q ] ∨q
¬ [ ¬ ( ¬ ( p ∙ q ) ) ∨¬ q ] ∨ q
¬ [ ( p ∙ q ) ∨¬ q ] ∨q
¬ [ p ∨¬ q ] ∨q
[ ¬ p ∙ ¬ ( ¬ q ) ] ∨q
[ ¬ p ∙ q ] ∨q
q
https://www.youtube.com/watch?v=S_P4lHdcoEc
 [ ( p →q ) ∨¬ ( ¬ q ∨¬ p ) ] → ¬q
[ ( ¬ p ∨ q ) ∨ ( ¬ ( ¬q ) ∙ ¬ ( ¬ p ) ) ] →¬ q
[ ( ¬ p ∨ q ) ∨ ( q ∙ p ) ] →¬ p
[ ¬ p ∨ q ∨ ( q ∙ p ) ] →¬ q
[ ¬ p ∨q ] → ¬q
¬ [ ¬ p ∨ q ] ∨¬ q
[ p∙ ¬ q ] ∨¬q
¬q
https://www.youtube.com/watch?v=DbjwP3w5yTE

1.5 Inferencia lógica

n→t
s→n
s

n mpp , 2, 3
t mpp , 1 , 4

w→x
z→w
¬x
¬ w mtt , 1 ,3
¬ z mtt , 2 , 4
https://www.youtube.com/watch?v=EZl50krCSJM

m→p
¬ p→n
m
¬ p mpp , 1, 3
n mpp , 2, 4
¬¬ n doble negacion(5)

r
p
p→s
r →t
p∼,1
r ∼1
s mpp ,2 , 4
t mpp , 3 , 5
t
s adj( 6 ,7)

p→s
¬s
 ¬ p→t

¬ p mtt ,1 , 2
t mpp , 3 , 4

s →( p ∨ q)
s
¬p

p ∨q mpp, 2 ,1
q mtp , 4 , 3
https://www.youtube.com/@estudiomatematicas
1.6 Cuantificadores Lógicos

2
∀ x ∈ N , x −9=0 ( F )
2
4 −9=0
2
8 −9=0

2
∃ xϵN , x −9=0 ( V )
2
3 −9=0

∀ x ∈ R , x +3<6 ( F )
8+3< 6
10+3< 6

∃ x ∈ R , x+ 3<6 ( V )
1+3<6
−3+6 <6

∀ x ∈ B , x−1<12 , B={ 8 , 10 ,12 , 14 } ( F )

14−1<12

∃ x ∈ N , 7 x−9=0 ( F )
7 ( 1 )−9=0
7 ( 2 )−9=0
https://www.youtube.com/watch?v=ChfOh0xG7Ok

2.1

3+ (−3 )=0 nutro aditivo

()1
3 ()
( 4 )=( 4 )
1
3
comutativa de la mult .

8 (−3 ) =−24 ∈ R cerradura de la mult .

1
+
√7 √7( )−1
=0 neutro aditivo
 1
1 1
× =1inverso multiplicativo
4 4
( 43 x ) ( y )=( y ) ( 43 x ) comutativa de la mult .
https://www.youtube.com/watch?v=6jWJtrijT3g

2.2 Ecuaciones lineales y cuadráticas en una variable

2 x+5=9
2 x+5−5=9−5
2 x+ 0=4
2 x=4
x=2
2 x−5=3 x +4
2 x−3 x=4 +5
−x=9
−x (−1 )=9 (−1 )
x=−9

5 x−1=7 x−4
5 x−7 x=−4+1
−2 x=−3
2 x=3
3
x=
2
https://www.youtube.com/watch?v=KQQlJA1wBMQ

2
2 x + 9 x +10=0

−9 ± √ 92−4 (2)(10)
x=
2(2)

−9 ± √ 81−80
x=
4
−9 ± √ 1
x=
4
 −9 ± 1
x=
4
−8
x 1=
4
x 1=−2
−10
x 2=
4
−5
x 2=
2

CS : {−52 ;−2}

2
5 x +7 x +2=0

−7 ± √ 7−4 ( 5 ) ( 2 )
x=
2 ( 5)

−7 ± √ 49−40
x=
10
−7 ± 3
x=
10
−4
x 1=
10
−2
x 1=
5
−10
x 2=
10
x 2=−1

CS : −1; { −2
5 }
https://www.youtube.com/watch?v=BxrJmKdPHRs

2
x −2 x−15=0
( x−5 ) ( x +3 )=0
1 : x−5=0
 1 : x=5
2 : x+ 3=0
2 : x=−3
CS : {−3 ; 5 }
https://www.youtube.com/watch?v=PTJx4W-lQbE

2.3 Ecuaciones con valor absoluto

|2 x+ 3|=| x−2|
2 x+3=x−2
x=−5
2 x+3=−( x−2 )
2 x+3=−x +2
−1
x=
3

{
CS : −5 ;−
1
3 }
|−5 x +1|=|4 x−3|
−5 x+ 1=4 x−3
4
x=
9
−5 x+ 1=−( 4 x−3 )
−5 x+ 1=−4 x+ 3
x=−2

{
CS : −2;
4
9 }
https://www.youtube.com/watch?v=N9owjqgnfCg

|3 x−5|=x +3 condicion x ≥−3

3 x−5= x+3
3 x−x=3+5
 2 x=8
x=4
3 x−5=−( x+3 )
3 x−5=−x−3
4 x=2
1
x=
2

CS : {12 ; 4}
|4 x−1|=−x+ 2condicion : x ≤2
4 x−1=−x +2
5 x=3
3
x=
5

4 x−1=−(−x +2 )
4 x−1=x−2
3 x=−1
−1
x=
3

CS : {−13 ; 35 }
|−2 x +5|=x −3 condicion : x ≥ 3
−2 x+5=x−3
−3 x=−8
8
x=
3
−2 x+5=−(x−3)
−2 x+5=−x +3
−x=−2
x=2
 CS : { ∅ }

3
|−x + 4|=2 x−3 condicion : x ≥
2
−x +4=2 x−3
−3 x=−7
7
x=
3
−x +4=−(2 x−3)
−x +4=−2 x +3
x=−1

CS : {73 }
https://www.youtube.com/watch?v=Vnj3KysgpIk

2.4 Sistema de ecuaciones lineales

3 x−4 y +23=0
6 y +11 x=19
3 x−4 y=23
11 y +6 y=19
9 x−12 y=−69
22 x+12 y=38
31 x=−31
x=−1
6 y +11 (−1 )=19
y=5

11 x−9 y =2
13 x−15 y +2=0
 11 x−9 y =2(5)
13 x−15 y=−2(−3)
55 x−45 y =10
−39+ 45 y=5
16 x=16
x=1
11 x−9 y =2
y=1
https://www.youtube.com/watch?v=bgh8f65MTTk&t=58s

x +6 y=27
7 x−3 y=9
Despejando x en 1: x+6 y=27
x=27−6 y
Despejando x en 2 :7 x−3 y=9
9+3 y
x=
7
9+3 y
27−6 y=
7
7 ( 27−6 y )=9+ 3 y
y=4
x +6 y=27
x=3

3 x+ 5 y=7
2 x− y=−4
Despejando x en 1: 3 x=7−5 y
7−5 y
x=
3
Despejando x en 2 :2 x=−4+ y
−4 + y
x=
2
 7−5 y −4 + y
=
3 2
y=2
2 x− y=−4
2 x−2=−4
x=−1
https://www.youtube.com/watch?v=apPXOlZnRhg

x−2 y=−4
3 x+ y=9
Despejando x en 1: x−2 y=−4
x=−4+2 y
Despejando x en 2 :3 x + y =9
3 (−4 +2 y ) + y=9
−12+6 y + y=9
7 y=21
y=3
x−2 y=−4
x−2 ( 3 )=−4

x=2

3 x+ 2 y =−1

5 x+ y=−4

Despejando y en 2 : y=−4−5 x

Reemplazando y en 1: 3 x +2 (−4−5 x )=−1

3 x−8−10 x =−1

3 x−10=−1+ 8

−7 x=7

x=−1

3 x+ 2 y =−1
3 (−1 ) +2 y=−1

y=1