On 4/27/2014 5:01 AM, Richard H. McCullough wrote:
> Name your propositions ! (01)
Biggus dealus gloriosus! (02)
That's called propositional logic. It was developed by the Stoic
logicians around 200 BC. But they went into much more detail,
including rules of inference still used today: modus ponens
(AKA forward chaining), modus tollens (backward chaining), and
disjunctive syllogism (resolution). (03)
If you want to bring your notation up to the level of 200 BC,
I suggest that you do your homework. You can start with (04)
http://www.jfsowa.com/talks/aristo.pdf (05)
But you'll need to put in much more work to get to 2000 AD. (06)
John (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (08)
|