Syllogism 1.0

File	syllogism-10.hqx
Size	134.3 KB
Version	1.0
Category	Science & Math
Mac OS	System 6, Mac OS 8, Mac OS X

↓ Download syllogism-10.hqx

Enjoying MacTrove? Anonymous downloads are free and unlimited. Create a free account to track favorites, contribute corrections, and join the community chat.

About

Syllogism Webster's: 1. a deductive scheme of a formal argument consisting of a major and a minor premise and a conclusion (as 'every virtue is laudable; kindness is a virtue; therefore, kindness is laudable') 2. a subtle, specious, or crafty argument 3. deductive reasoning Syllogism 1.0 tests and models a certain kind of reasoning. It will find the one valid conclusion from premise sets like: 10 Socrates is a Greek 20 all men are mortal 30 all Greeks are men 40 no gods are mortal It will consider much more complicated premise sets too. It is smarter than you. * This version of Syllogism is a standalone application for MacOS 8.6-9.x. You can run Syllogism on a Mac Plus with System 6.x, or Windows, with Chipmunk BASIC or many other BASIC interpreters. See below for more info.