Knowlus logo
Intellect for rent

view

Title
Description
0(A→B) ∧ (B→C)assumption
1A→Bsimplification [0]
2B→Csimplification [0]
3Aassumption
4Bmodus ponens [3, 1]
5Cmodus ponens [4, 2]
6A→Cconditional introduction [3, 5]
7(A→B) ∧ (B→C)→(A→C)conditional introduction [0, 6]
insertion point

Access
en_US © 2012-2016 Ilya Ashikhmin
Request result: