Ejercicio · ZW-MODUS-PONENS-009 · ★★☆ Intermedio

Selecciona la aplicación válida de modus ponens.

Elige una opción.

Ver respuesta

Explicación

Es la única con la forma \(P\Rightarrow Q\), \(P\), luego \(Q\). Las demás afirman el consecuente, usan una disyunción o niegan el antecedente.

Sean \(P\) y \(Q\) proposiciones. El modus ponens permite concluir \(Q\) a partir de \(P\Rightarrow Q\) y \(P\).

\[\frac{P\Rightarrow Q,\quad P}{Q}\]