[ 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.8839342 [View]
File: 2 KB, 121x94, natded.png [View same] [iqdb] [saucenao] [google]
8839342

How would one go about proving pic related using natural deduction?
Negation and especially dis-junction elimination confuses me.
The or-elim needs a target, but how do you know what the target is? In more complex ones it just completely throws me off.

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