Ejercicio · ZW-MODUS-PONENS-005 · ★☆☆ Básico
El modus ponens es una regla...
Elige una opción.
Ver respuesta
- A. Formal de deducción
Ejercicio · ZW-MODUS-PONENS-005 · ★☆☆ Básico
Elige una opción.
El modus ponens es una regla de deducción de la lógica formal, usada en demostraciones.
Sean \(P\) y \(Q\) proposiciones. El modus ponens permite concluir \(Q\) a partir de \(P\Rightarrow Q\) y \(P\).