1. L´gica proposicional
o
1. Sean A, B ⊆ acotados y no vac´
ıos.Definimos la variable proposicional p
como: p : Si SupA = SupB, Inf A = Inf B entonces A = B.
a) Negar la proposici´n
o
b) Dar el valor de verdad de dicha proposici´n (Si es necesario; probar)
o
Soluciones
1. a) Como se tiene una proposici´n compuesta del tipo r → s donde las
o
variables proposicionales r, s son respectivamente:
r : Si SupA = SupB, Inf A = Inf B, s : A = B
entonces la negaci´n ser´
o a
∼ (r → s) =∼ (∼ r ∨ s) = r∧ ∼ s
Es decir ∼ p : SupA = SupB, Inf A = Inf B y A = B.
b) El valor aseverativo de la variable proposicional p es falso; veamos un
ejemplo que muestre ello, consideremos A = [0, 1 > y B =< 0, 1 > nota-
mos que SupA = SupB, Inf A = Inf B pero A = B.Luego si suponemos
que el valor aseverativo de la variable proposicional p es verdadero en-
tonces A = B lo cual es absurdo, del ejemplo.
La imaginaci´n es m´s importante que el conocimiento
o a
Helmuth villavicencio fern´ndez
a
1