Simbolización de argumentos

Simboliza los siguientes argumentos:

Se incluyen las conectivas; te sugerimos copiarlas y colocarlas en donde

corresponda.

Argumentos

[(Si todas las películas de González Iñárritu tienen alusiones a la cultura

mexicana y a los mexicanos les agrada), entonces garantiza público en
México.]
Proposición 1. Si todas las películas de González Iñarritu
tienen alusiones a la cultura mexicana.
Paso 1
Proposición 2. A los mexicanos les agrada.
Proposición 3. Garantiza público en México.
Conectiva lógica:
Paso 2 - “y” (conjunción) ∧
- “entonces” (condicional) ⊃
p = Si todas las películas de González Iñarritu tienen
alusiones a la cultura mexicana.
Paso 3
q = A los mexicanos les agrada.
r = Garantiza público en México.
Paso 4 [(p ∧ q) ⊃ r]

[Sucederá que contraiga matrimonio, si y sólo sí (me caso con alguien

con dinero y gran posición social).]
Proposición 1. Sucederá que contraiga matrimonio.
Paso 1 Proposición 2. Si y sólo si me caso con alguien con dinero.
Proposición 3. Gran posición social.

Conectiva lógica:
Paso 2 - “Si y sólo si” (bicondicional) ≡
- “y” (conjunción) ∧
p = Sucederá que contraiga matrimonio.
Paso 3 q = Si y sólo si me caso con alguien con dinero.
r = Gran posición social.

Paso 4 [p ≡ (q ∧ r)]
[(Cada mañana me levanto temprano y voy a la escuela), o me quedo
a dormir.]
Proposición 1. Cada mañana me levanto temprano.
Paso 1 Proposición 2. Voy a la escuela.
Proposición 3. Me quedo a dormir.
Conectiva lógica:
Paso 2 - “y” (conjunción) ∧
- “o” (disyunción) ∨
p = Cada mañana me levanto temprano.
Paso 3 q = Voy a la escuela.
r = Me quedo a dormir.

Paso 4 [(p ∧ q) ∨ r]

(Los extraterrestres no existen o hay muchos en el universo.)

Proposición 1. Los extraterrestres no existen.
Paso 1
Proposición 2. Hay muchos en el universo.
Conectiva lógica:
Paso 2 - “o” (disyunción) ∨
- Hay negación ~
p = Los extraterrestres existen.
Paso 3 q = Hay muchos en el universo
~p = Los extraterrestres no existen
Paso 4 (~p ∨ q)