0 | (A→B) ∧ (B→C) | assumption |
1 | A→B | simplification [0] |
2 | B→C | simplification [0] |
3 | A | assumption |
4 | B | modus ponens [3, 1] |
5 | C | modus ponens [4, 2] |
6 | A→C | conditional introduction [3, 5] |
7 | (A→B) ∧ (B→C)→(A→C) | conditional introduction [0, 6] |
![]() ![]() Intellect for rent
|
![]() |
0 | (A→B) ∧ (B→C) | assumption |
1 | A→B | simplification [0] |
2 | B→C | simplification [0] |
3 | A | assumption |
4 | B | modus ponens [3, 1] |
5 | C | modus ponens [4, 2] |
6 | A→C | conditional introduction [3, 5] |
7 | (A→B) ∧ (B→C)→(A→C) | conditional introduction [0, 6] |