[ 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.11085015 [View]
File: 45 KB, 1228x582, wtf.png [View same] [iqdb] [saucenao] [google]
11085015

This is a stupid question but I don't care.
Lately I've been trying to watch type theory talks and I understand it all right until these symbols come up. Can someone tell me what these are? I've never studied logic before, is that where these are from? And also, I would appreciate it if someone could suggest some text that I can use to fill in the gaps.

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