[ 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.6173911 [View]
File: 77 KB, 702x402, 1309750538825.jpg [View same] [iqdb] [saucenao] [google]
6173911

>>6173892

>> No.6079570 [View]
File: 77 KB, 702x402, 1309750538825.jpg [View same] [iqdb] [saucenao] [google]
6079570

>>6079565
shitposting lvl 99

>> No.5054354 [View]
File: 77 KB, 702x402, 132848920958.jpg [View same] [iqdb] [saucenao] [google]
5054354

I have a question regarding one of the things I need to do. I don't really get it.
Here it is:
Question:
Let P be the set of all people, and let K and M be binary predicates on
P with the following interpretation:
K(x; y) : `x knows y'
M(x; y) : `x is married to y' :
Write the following statement as a formula:
Everybody Anna knows is married, except for Bernard.

Answer I have is
∀p[p∈(K(Anna,p) : M(p,p) ^ ¬M(Bernard,p)]

I have no idea if this is correct or not. Anybody knowing logic can explain it to me?

>> No.3493322 [View]
File: 77 KB, 702x402, 1308993376581.jpg [View same] [iqdb] [saucenao] [google]
3493322

>>3493308

Thanks for citing that.

Goddamnit... pic related, it's me right now

>> No.3365465 [View]
File: 77 KB, 702x402, youarethismad.jpg [View same] [iqdb] [saucenao] [google]
3365465

>>3365459
>you are also this wrong

>> No.3235749 [View]
File: 77 KB, 702x402, youarethismad.jpg [View same] [iqdb] [saucenao] [google]
3235749

>>3235722
>You are this mad

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