Zusammenfassung der Ressource
CATEGORIES & QUANTIFIERS
- A: all Fs are Gs
- A & O INVALID
- E: no Fs are Gs
- I: some Fs are Gs
- O: some Fs are not Gs
- SUBJECT: Fs PREDICATE: Gs
- conversion inference: subject->predicate, then predicate->subject
- E & I
VALID
- SYLLOGISM
- ALSO
- some Fs are Gs
- all Fs are Gs + no Fs are Gs