Computational Aristotelian Term Logic - An Example
Look at the
Exercises
for this example!
Klaus Glashoff's Homepage
-
Contact
-
Forum
Aim of this site
-
Short Introduction
-
Remarks on notation
-
References and links
-
NEW:
Exercises
Enter
propositions
and/or
choose
example
propositions:
Example
propositions:
/* Comment: Simply choose some of the preformulated propositions given at the right side of this input box. If you like, insert further propositions into this box; for example, A(horse,quadrupedal) or, if you believe in centaurs, I(horse,man)*/
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