Señale la regla de inferencia que se usó en cada uno de los argumentos

siguientes:

- Juan estudia, por lo tanto estudia o trabaja.

Juan estudia
Por lo tanto, Juan no trabaja

P 1. P.Q
P2. P
Conclusión Q

- María estudia medicina. por lo tanto alguien estudia medicina

María estudia
Por lo tanto estudia medicina
P1.
P2.
Conclusión q

- Si no me gano la lotería no me voy de viaje a Europa. Me fui a Europa.

Luego me gane la lotería.
Me fui a Europa
Por lo tanto, Me gane la lotería
P1.
P2.
Q

- Juan es estudiante de filosofía o de matemáticas, pero no lo es de

filosofía, por lo tanto lo es de matemáticas.
Juan es estudiante
Por lo tanto, lo es de matemáticas

- Todos somos hijos de dios, por lo tanto José es hijo de Dios

Somos hijos de Dios
Por lo tanto José es hijo de Dios

- Si Susana no me despierta temprano llegare tarde al trabajo. Susana no

me despertó temprano. por lo tanto llegare tarde al trabajo
Susana no me despertó temprano
Por lo tanto llegare tarde al trabajo
- Si Susana me despierta temprano llegare a tiempo al trabajo, no llegue a
tiempo al trabajo, así que Susana no me despertó temprano.
No llegue a tiempo al trabajo
Por lo tanto, Susana no me despertó temprano

2. En cada uno de los siguientes argumentos la conclusión se deduce de

las premisas. Encuentre los pasos intermedios señalando la regla que ha
sido usada.
 Modus Ponens (MP)
Si P implica Q, y P es verdadera, entonces Q es cierta.
Forma lógica:
Forma lógica:
P→Q
P
Q
 Modus Tollens (MT)
Si P implica Q, y Q no es cierta, entonces P no es cierta.

Forma lógica:
P→Q
¬Q
¬P
 Modus Tollens (MT)

Si P implica Q, y Q no es cierta, entonces P no es cierta.

Forma lógica:
P→Q
¬Q
¬P
  Silogismo Disyuntivo (SD)
Ya sea que P es cierta o Q es cierta; P no es cierta; por lo tanto, Q es cierta. De
la misma manera, si P es cierta o Q es cierta; Q no es cierta; por lo tanto, P es
cierta.

Forma lógica:
1. PvQ
2. ¬P
3. Q
 Modus Tollens (MT)

Si P implica Q, y Q no es cierta, entonces P no es cierta.

Forma lógica:

P→Q
¬Q
¬P