Métodos para probar la validez de argumentos :

La respuesta a este ejemplo:

b. {(? ⟶ ?) ∧ (? ⟶ ?) ∧ [(? ∧ ?) ⟶ ?] ∧ (? ∧ ?)} ⟶ ?