Computational Aristotelian Term Logic - An Example

Look at the Exercises for this example!

Klaus Glashoff's Homepage - Contact -
Aim of this site - Short Introduction - Remarks on notation - References and links - Exercises

Enter propositions and/or
choose example propositions: 		Example propositions:
All men are mammals
All mammals are living-beings
All horses are mammals

No carnivore is a horse
No No horses are men
No plant is a mammal
 Some mammals are quadrupedal
Some plants are carnivorous
Some living-beings are horses

Some carnivores are not mammals
Some men are not carnivorous
Some quadrupedals are not carnivorous
All x are y:
No x is y:
Some x are y:
Some x are not y:		 A(x,y)
E(x,y)
I(x,y)
O(x,y)		      To Part 1    To Part 2     To Part 3    © Klaus Glashoff, 2004