Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
logical argument |
| gptkbp:example |
All men are mortal; Socrates is a man; therefore, Socrates is mortal.
|
| gptkbp:form |
gptkb:AAA
gptkb:AII EAE EIO |
| gptkbp:hasComponent |
conclusion
major premise minor premise |
| gptkbp:hasRule |
if both premises are affirmative, the conclusion must be affirmative
middle term must be distributed at least once no conclusion follows from two negative premises no conclusion follows from two particular premises if one premise is negative, the conclusion must be negative no term distributed in the conclusion unless distributed in the premises |
| gptkbp:hasTerm |
major term
middle term minor term |
| https://www.w3.org/2000/01/rdf-schema#label |
categorical syllogism
|
| gptkbp:includesFigure |
first figure
fourth figure second figure third figure |
| gptkbp:originatedIn |
gptkb:Aristotle
|
| gptkbp:studiedIn |
gptkb:logic
|
| gptkbp:usedFor |
deductive reasoning
|
| gptkbp:uses |
categorical statements
|
| gptkbp:bfsParent |
gptkb:Term_logic
|
| gptkbp:bfsLayer |
5
|