[ 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

View post   
File: 3.88 MB, 158x223, 783.gif [View same] [iqdb] [saucenao] [google]
8927941 No.8927941 [Reply] [Original]

>proved a compound proposition was satisfiable
>exercise booklet says it isn't

what

>> No.8927946

oh never mind i left out a negation lol.

>> No.8928005

>>8927941
Delet this

>> No.8928009

on a side note, what do i do to make my trees fit? i can't gauge how much space ill have as i go further down the branches.

>> No.8928020

>>8928009
8==D

>> No.8928028

>>8928020
did you just post a weenus peenus on my thread? do you know who you're messing with? you're cruising for a bruisin with that shit. i will beat you so hard that if a bifurcation diagram was formed from the cross section of your skull it would be chaotic you fucking amoeba.

>> No.8928281
File: 75 KB, 427x400, di-key-ex1.jpg [View same] [iqdb] [saucenao] [google]
8928281

>>8928009
Use something like a dichotomous key. If it's truly a tree there should be n vertices, n-1 edges, no loops, no cycles...
Your professor/audience probably won't accept it as a final product. So you can use it as an intermediate to guess how wide the end of your tree will be