Métodos para probar la validez de argumentos :

La respuesta a este ejemplo:

b. {(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠) ∧ [(𝑞 ∧ 𝑠) ⟶ 𝑡] ∧ (𝑝 ∧ 𝑟)} ⟶ 𝑡