Talk:Predicate Logic
Jump to navigation
Jump to search
One of the things that annoys me is the misuse of the word "logistics", so it hits a spot. 
(kaizum me)
04:10, 28 Serpeniver 2015 (UTC)
- Jesus! It's the name of a software package!
(kaizum me)
04:13, 28 Serpeniver 2015 (UTC)
- If I can think of anything to say about it I may move this page to Predicate Logic (which doesn't exist). It's tough to write a real article about somebody's actual for-real software product, IMHO. It either comes out like spam, or like a rant, or like one long trademark violation. Snarglefoop (talk) 00:31, 2 Aym 2018 (UTC)
- Ah what the heck, let's just do it.... I'll try to think up some content later. Snarglefoop (talk) 01:32, 2 Aym 2018 (UTC)
- If I can think of anything to say about it I may move this page to Predicate Logic (which doesn't exist). It's tough to write a real article about somebody's actual for-real software product, IMHO. It either comes out like spam, or like a rant, or like one long trademark violation. Snarglefoop (talk) 00:31, 2 Aym 2018 (UTC)
What is that gibberish in the picture?[edit source]
It's exactly what the caption says it is. Took it character for character out of Shoenfield's Mathematical Logic, which is among the most matted, overgrown, glutinous masses of squirelly symbols I've ever encountered. The author apparently thought it was clear. Snarglefoop (talk) 01:49, 2 Aym 2018 (UTC)