[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.8839875 [View]
File: 11 KB, 304x300, implying.png [View same] [iqdb] [saucenao] [google]
8839875

In pic related, are lines 4 and 5 necessary? We're already assuming A and B in lines 2 and 3, why do we need to assume them again to make A -> B?

Navigation
View posts[+24][+48][+96]