disjunctive syllogism,

预订 modale syllogismen, moegliche welten, essent.
discussion #9 1/9 discussion #9 tautologies and contradictions.
and y>0, then x y>0' rules of inference: disjunctive syllogism a
预订 the aftermath of syllogism: aristotelian log.
【预订】syllogisms or a book of reasons for every day