Computational Aristotelian Logic - Part 3 of 3

Prove propositions (conclusions) from given premises by different standard methods
Klaus Glashoff's Homepage - Contact - Forum
Aim of this site - Short Introduction - Remarks on notation - References and links - NEW: Exercises
Step 1:
Insert premises:		 Step 3: Choose syllogistic rule-system:
System proposed by Syllogisms Further rules Method of deduction


Step 2: Insert conclusion (to be proven):
 ARISTOTLE I:
  (Corcoran)
Barbara, Celarent, Darii,
Ferio		 E-conv., I-conv.,
A-pconv.		 DIRECT, INDIRECT
ARISTOTLE II
  (Smiley, Corcoran)
 Barbara, Celarent E-conv., A-pconv. DIRECT, INDIRECT
LEIBNIZ
 Barbara, Celarent, Darii,
Ferio,Barbari, Celaront		 A - Identities DIRECT, INDIRECT
THOM
 Barbara, Celarent, Darii,
Ferio, Baroco, Bocardo		 E-conv., I-conv.,
A-subalt., E-subalt.		 DIRECT
BRILLOWSKI Barbara, Baroco, Bocardo,
Bamalip, Camenes,
Dimatis, Fresison 		A - Identities DIRECT
Example  -  To Part 1 -To Part 2 - © Klaus Glashoff, 2004