Formalización Proposicional

a)

Llueve y hace frio

Si llueve entonces hace frio

No es verdad que hace frio

Cuando llueve y hace frio me quedo en casa

No es verdad que o llueve o hace frio

Solo cuando me miras, yo te miro

Me sube la bilirrubina cuando te miro y no me miras

Al llegar la primavera me pongo alegre

b) La negación de la proposición “Pedro no irá a ver la Copa América y no estudiara Ingeniería” es

A) Pedro no irá a ver la Copa América y estudiara Ingeniería.
B) Pedro irá a ver la Copa América o no estudiara Ingeniería.
C) Pedro no irá a ver la Copa América o no estudiara Ingeniería.
D) Pedro irá a ver la Copa América o estudiara Ingeniería.
E) Pedro irá a ver la Copa América y estudiara Ingeniería.

c) Establecer la conclusión de los siguientes argumentos lógicos:

 Si los alumnos realizan preguntas, entonces aprenderán bastante.
Si los alumnos leen a menudo, ellos realizaran preguntas.

A) Si los alumnos aprenden entonces realizan preguntas.

B) Si los alumnos realizan preguntas entonces leen a menudo.
C) Si los alumnos aprenden bastante entonces leen a menudo.
D) Los alumnos no leen a menudo.
E) Si los alumnos leen a menudo entonces aprenderán bastante.

d) Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran
alrededor de ellas.

a) (~𝑝 ∧ 𝑞) → ~𝑟
b) ~[(𝑝 ∧ 𝑞) → ~𝑟]
c) ~(𝑝 ∧ 𝑞) → ~𝑟
d) (~𝑝 ∧ 𝑞) → 𝑟
e) (~𝑝 ∧ 𝑞) → ~𝑟

e) Si no apruebas o no resuelves este problema, entonces es falso que hayas estudiado o domines la
deducción lógica. Pero no dominas la deducción lógica aunque has estudiado.
a) [(~𝑝 ∨ ~𝑞) → (~𝑟 ∨ 𝑠)] ∧ ∼ 𝑠 ∧ 𝑟
b) [(~𝑝 ∨ ~𝑞) → (~𝑟 ∨ 𝑠)] ∨ ∼ 𝑠 ∧ 𝑟
c) [~(𝑝 ∨ 𝑞) →∼ (𝑟 ∨ 𝑠)] ∧ ∼ 𝑠 ∧ 𝑟
d) [(~𝑝 ∨ ~𝑞) → ~(𝑟 ∨ 𝑠)] ∧ ∼ 𝑠 ∧ 𝑟
e) [(~𝑝 ∨ ~𝑞) → ~(𝑟 ∨ 𝑠)] ∧ 𝑠 ∧ 𝑟

f) Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y
dejaría que me internaran en un psiquiátrico.

a) (𝑝 ∨ 𝑞) ∨ (𝑟 ∧ 𝑠)
b) (𝑝 ∨ 𝑞) ∧ (𝑟 ∧ 𝑠)
c) (𝑝 ∨ 𝑞) → (𝑟 ∧ 𝑠)
d) (𝑝 ∨ 𝑞 → 𝑟) ∧ 𝑠
e) 𝑝∨𝑞 → 𝑟∧𝑠

g) Si Rosa participa en el municipio escolar entonces los estudiantes se enojan con ella, y si no
participa en el municipio escolar, los profesores se enojan con ella. Pero, Rosa participara en el
municipio escolar o no participa. Por lo tanto, los estudiantes o los profesores se enojan con ella.

h) Si viene en tren, llegara antes de las seis. Si viene en coche llegara antes de las seis. Luego tanto si
viene en tren como si viene en coche, llegara antes de las seis.

Rpta: [(𝑝 → 𝑞) ∧ (𝑟 → 𝑞)] → [(𝑝 ∨ 𝑟) → 𝑞]

i) No es un buen deportista pero sus notas son excelentes. Es equivalente a:

a) No es cierto que, sea un buen deportista o sus notas sean excelentes.

b) No es cierto que, sea un buen deportista o sus notas no sean excelentes.
c) No es cierto que, no sea un buen deportista o sus notas no sean excelentes.
d) No es cierto que, no sean un buen deportista o sus notas sean excelentes.
 e) No es cierto que, es un buen deportista y sus notas no sean excelentes.

j) Determine el valor de verdad (V: verdadero, F: falso) de cada una de las siguientes proposiciones
y señale la alternativa que presente la secuencia correcta.

I. Si 8 es un número par, entonces 32 es un numero par.

3
II. Es cierto que, |√4| = 8 si y solo si 2 + 3 = 2(3) – 1
III. No es cierto que los triángulos tengan cuatro vértices.

A) VVV
B) VVF
C) FFF
D) FFV
E) FVV

k) Analice el valor de verdad de las proposiciones:

I) Si todas las aves vuelan, entonces algunas aves vuelan

II) Si todas las aves vuelan, entonces la Luna es un planeta.
III) Si llueve entonces 3 < 5

A) Las tres son verdaderas.

B) Sólo II y III son verdaderas.
C) Sólo I es verdadera.
D) Sólo I y III son verdaderas.
E) Sólo I y II son verdaderas.

l) Si la siguiente proposición lógica 𝒑 → (𝒒 ∨ 𝒓) es falsa, determine la verdad o falsedad de

(𝑞 ∧ 𝑟) ∨ 𝑝; 𝑑𝑒 𝑝 → 𝑞 𝑦 𝑞→𝑟
A) VVV
B) FVV
C) FFV
D) VVF
E) VFV

m) Simplifica la proposición aplicando las leyes del algebra proposicional:

(~𝑝 → 𝑞) ∨ ∼ (𝑞 → 𝑝)

--Si las proposiciones

a) ~𝑝 ∨ 𝑞
b) 𝑟 → 𝑞
Son ambas falsas.
 --Entonces en relación con las proposiciones:

I. 𝑝 es verdadera.
II. 𝑝 ∧∼ 𝑟 es falsa
III. 𝑞 es verdadera.

¿Cuáles son correctas?

A) Solo I
B) Solo II
C) I y II
D) II Y III
E) I, II Y III

n) Si la proposición: (∼ 𝑝 → 𝑞) ∨ (𝑟 → ~𝑠) ≡ 𝐹.

Determine el valor de verdad de las siguientes proposiciones.

I. (~𝑝 ∧∼ 𝑞) ∨∼ 𝑞
II. (∼ 𝑟 ∨ 𝑞) ↔ [(∼ 𝑞 ∨ 𝑟) ∧ 𝑠]
III. (𝑝 → 𝑞) → [(𝑝 ∨ 𝑞) ∧ ~𝑞]

A) VVV
B) VVF
C) VFF
D) FVV
E) FFF

o) Si la proposición: [(~𝑝 ∨ 𝑞) → (𝑞 ↔ 𝑟)] ∨ (𝑞 ∧ 𝑠) es falsa, siendo “p” una proposición verdadera,

determine los valores de verdad de q, r, s en ese orden.
A) VVV
B) VFV
C) VFF
D) FFV
E) FFF

p) Si la proposición:

[(∼ 𝑝 ∨ 𝑞) → (𝑞 ↔ 𝑟)] ∨ (𝑞 ∧ 𝑠)

es falsa, siendo 𝑝 una proposición verdadera.

Determine los valores de verdad (V) o Falsedad (F) de ∼ 𝑞, 𝑟 y ~ 𝑠 en ese orden.

a) VVV
b) VFV
c) VFF
d) FFV
e) FFF

q) Simplificar

~[~(~𝑝 ∨ 𝑞) → 𝑝] ∨ 𝑞

r) Simplificar

(𝑝 → ~𝑞) ∧ ~(~𝑞 → 𝑝)

s) Reduzca la expresión:

[(𝑝 → ~𝑞) ∧ (𝑞 → ~𝑝)] → ~(~𝑝 ∨∼ 𝑞)

Elija la forma equivalente:

A) 𝑝∨𝑞
B) ∼ (𝑝 ∧ 𝑞)
C) 𝑝∧𝑞
D) ∼ (𝑝 ∨ 𝑞)
E) ∼𝑝∨𝑞

t) Si 𝑝 ↓ 𝑞 se define como ~𝑞 ∧∼ 𝑝 , entonces el equivalente a 𝑝 ↔ 𝑞 es

I. (~𝑝 ↓ 𝑞) ∨ (𝑞 ↓ 𝑝)
II. (~𝑝 ↓ 𝑞) ∨ (~𝑞 ↓ 𝑝)
III. (~𝑝 ↓ ~𝑞) ∨ (𝑝 ↓ 𝑞)

A) Solo I
B) Solo II
C) Solo III
D) I y II
E) II y III
u) Se definen los operadores lógicos ∱ 𝑦 ⊙ , mediante:

𝑝 ∱ 𝑞 = ∼ 𝑝 → ~𝑞
𝑝 ⊙ 𝑞 =∼𝑝 ∧𝑞
Simplifique:

[((∼ 𝑞 ⊙ 𝑝) ∱ ((∼ 𝑝) ⊙ 𝑞))]

a) 𝑝
b) 𝑝 ∨∼ 𝑝
c) 𝑝∧𝑞
d) 𝑞
e) 𝑝∨𝑞

v) Determine las proposiciones correctas.

I. 𝑝 → 𝑞 ≡ ∼ (( 𝑝 ∨ 𝑞 ) ∧ ∼ 𝑞)
II. 𝑝 → 𝑞 ≡ ( 𝑝 ∧ 𝑞 ) ∨ ∼ 𝑝)
III. 𝑝 → 𝑞 ≡ ∼ 𝑞 → ∼ 𝑝

A) Solo III
B) Solo I, II
C) Solo I, III
D) Solo II, III
E) I, II, III