[ 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.5584640 [View]
File: 876 KB, 335x288, 1291177244039.gif [View same] [iqdb] [saucenao] [google]
5584640

>>5584619
>>5584627

>> No.5338937 [View]
File: 876 KB, 335x288, 1355124052091.gif [View same] [iqdb] [saucenao] [google]
5338937

So I'm having a little trouble with a problem in first-order logic.

G = {¬∀v1Pv1, Pv2, Pv3,…, Pvn}

Is G consistent? Is it satisfiable?

>> No.4320759 [View]
File: 876 KB, 335x288, 1326295285224.gif [View same] [iqdb] [saucenao] [google]
4320759

>>4320743
lol, didn't read

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