No D is E
∴ No A is E
Arranged logically and symbolized:
(E) No (M)
D is (G)
E
(A) All (S)
A is (M)
D
(E) ∴ No (S)
A is (G)
E
Proof: Negative premise; negative conclusion. No particulars. Middle term distributed in major premise. No term distributed in conclusion which is not distributed in premise where it occurs. Syllogism valid. We must now prove that all the other premises must be affirmative.
Problem: To prove that no other premise can be negative, or that all others must be affirmative.
Data: Given last syllogism of sorites with the first premise negative. (Any other may be taken.)
No A is D