Miguel Angel Santos López

Carnet: 1490-22-7060 Universidad Mariano Gálvez

Ingeniería en Sistemas
Lógica de Sistemas
Ingeniero Luis Alejandro Sosa Escobar

Ejemplos de formalización de argumentos.

Miguel Angel Santos López

Carnet: 1490-22-7060

21 de febrero de 2022
1. María se irá si José se queda.
p: María se irá
q: José se queda
q→p
2. Los accidentes pueden prevenirse si la gente no utilizara el
celular al conducir.
p: Los accidentes pueden prevenirse
q: La gente no utilizara el celular al conducir
q→p
3. O las radios modifica sus medios de comunicación y
renueva su programación o se producirá una huida de
oyentes y veremos incremento de usuarios en las redes
sociales.
p: La radio modifica sus medios de comunicación
q: La radio renueva su programación
r: Se producirá una huida de oyentes
s: Veremos incremento de usuarios en las redes sociales
(p∧q)∨(r∧s)

4. O whatsapp actualiza sus términos de privacidad y elimina

aceptarlos obligatoriamente o perderá muchos usuarios y
telegram crecerá más rápido.

P: whatsapp actualiza sus términos de privacidad

q: whatsapp elimina aceptarlos obligatoriamente
r: whatsapp perderá muchos usuarios
s: telegram crecerá más rápido

(p∧q)∨(r∧s)

5. Nos veremos en el parque, supuesto que no llueva.

p: Nos veremos en el parque
q: Llueve
q→¬p
6. A menos que tome el bus escolar, llegaré a primera hora a
clases.
p: Tomo el bus escolar
q: Llego a primera hora a clases
¬q→p

7. O está soleado y soplando el viento, o es invierno.

p: Está soleado
q: Está soplando el viento
r: Es invierno
(p∧q)∨r

8. A menos que baje de peso, Podré entrar al ejército.

p: Bajo de peso.
q: Entro al ejército

¬p→q

9. Democracia significa un modo de vida en el que la libertad y

la justicia están presentes.
p: Democracia significa un modo de vida en el que la libertad está
presente
q: Democracia significa un modo de vida en el que la justicia está
presente
p∧q

10. Si los verdaderos amigos tienen todo en común,

entonces tú no puedes ser más rico que tu compañero si
dices que sois verdaderos amigos.
p: Los verdaderos amigos tienen todo en común
q: Puedes ser más rico que tu compañero
r: Dices que tú y tu compañero sois verdaderos amigos
p→(r→¬q)