A → B; C → D ∴ (A ∧ C) → (B ∧ D) TRUE

A → B
C → D
inference logic(A ∧ C) → (B ∧ D)
0
Public: Yes; Show truth table: No; Tags: Life;