[ 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.14886229 [View]
File: 164 KB, 806x1056, 1653297776340.jpg [View same] [iqdb] [saucenao] [google]
14886229

Why is this the case?

"No [D]og [L]ikes any [C]at"
~ExEy(Dx & Cy & Lxy)

I read it as "It is not the case that a dog likes every cat", because No = Not some, Any = All/Every.
So i got ~Ex(Dx & Vy(Cy -> Lxy))

Why does Any mean Some here?

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