Fundamentos de Matemáticas 2021-2

Parcial 1

1. Encuentre una proposición en las variables p, q y r que sea ver-

dadera exactamente cuando dos de las variables p, q y r sean
verdaderas y falsa en los demás casos, compruebe con una tabla
de verdad.

2. Demuestre, usando la contrarrecı́proca, que si n ∈ Z y n3 + 5

es impar, entonces n es par

3. Demuestre, usando una contradicción, que la ecuación

x3 + x + 1 = 0

no tiene raı́ces racionales (Sugerencia: Suponga que tiene una raı́z

racional a/b, puede suponer que a y b no tienen factores en común,
multiplique por b3 para obtener una ecuación en Z, qué puede
decir de la paridad de a y b?)

4. Demuestre, usando inducción, que para todo n ∈ N impar se

tiene que
8 | n2 − 1.
(Sugerencia: observe que 2k − 1 para k = 1, 2, . . . recorre todos
los números impares)

5. Decida si las afirmaciones son verdaderas V o falsas F. El dominio

para todos los cuantificadores es Z.

a) ∀n ∃m (n2 < m).

b) ∃n ∀m (n2 < m).
c) ∃n ∀m (nm = n).
d ) ∃n ∃m ∃p (2p = n + m).
e) ∃n ∃m ∃p ((n2 + m2 = p2 ) ∧ (2 | n) ∧ (2 | m) ∧ (2 | p)).

1
 ① ( Pisa ) → nr

p a r P → 9 7 R ⑥ → 9) → IR
✓ V V V f F
V V f V V V
V F V f
f V

V f F F V F
F V V
y F V
K V F V V F
f F V V F
f
F V
f F y F

p → n E- I ,
n
?
1-5 es impar
9 → es
n
par

Dem Idem indirecta por Contra

reciproca ) supongamos que
:
no se

tiene que n es
par ,
entonces n es impar . Por esto existe m tal

que n 2mm entonces

=
:

> > '

n * s =
IIMTI ) 1-5 = 8m
>
+ 12m +6m +6 =
214m> tbmít 3Mt 31 ,
>
es decir 1-5 es
par asi tiene
>
1-5 Sea
n no se
que n impar
-
 p → axiomas
> =
→
q × + ✗ 1-1 no tiene raíces racionales

>
Dem : por contradicción asi suponemos ☒ + ✗ 1-1=0
tiene raíces es decir ( sin factores común es decir
qg
racionales ✗ = en

que son primos )

>
1=0
(Y ) ( Ag )
entonces + +

/ G) + Ibas 1)
> "

( Y)
> O
b f- b -
=

>
a t b
'
a t b. 3--0

cada termino impar porque el cubo

de un numero impar
es
es Impar y la ama de B números impares es Impar tomando
9 como impares primos
O b .

Contradicción : el cero es
par y la suma
de tres es
impares
Impar La Unica exceplios es cuando a y b son 2
.

, pero en ese
caso
g- = 1
y no se
cumple que 11-11-1=0 .

Dem :
por inducción en n

1) 2-1
' '
( 2k
=
n =
2k -1 -
4k -
4kt 1-1 =
4K -
4K

KM 810
efectivamente 810 .
2) paso Inductivo
:

para mostrar que el caso implica

n
el caso ntt asumir manos que tenemos pin )
donde :

'
Pln ) =
814k -

4K

/ (2141-11-1)>-1
?
entonces 8 =
814k -

4K
?
8 1 12kt 2-112-1 = 814k -

4K
' ?
8 1 12k + 1) -
l = 814k -

4k
?
/ 4k
'
81 4k +441-1-1=8 -

4K
?
8 / Hrithik =
814k -

4K
?
814k
'

81 4K +4k -
-

4K

F-
V
V

F-