Disjunctive syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Disjunctive — Dis*junc tive, a. [L. disjunctivus: cf. F. disjonctif.] 1. Tending to disjoin; separating; disjoining. [1913 Webster] 2. (Mus.) Pertaining to disjunct tetrachords. Disjunctive notes. Moore (Encyc. of Music). [1913 Webster] {Disjunctive… … The Collaborative International Dictionary of English
Disjunctive conjunction — Disjunctive Dis*junc tive, a. [L. disjunctivus: cf. F. disjonctif.] 1. Tending to disjoin; separating; disjoining. [1913 Webster] 2. (Mus.) Pertaining to disjunct tetrachords. Disjunctive notes. Moore (Encyc. of Music). [1913 Webster]… … The Collaborative International Dictionary of English
Disjunctive proposition — Disjunctive Dis*junc tive, a. [L. disjunctivus: cf. F. disjonctif.] 1. Tending to disjoin; separating; disjoining. [1913 Webster] 2. (Mus.) Pertaining to disjunct tetrachords. Disjunctive notes. Moore (Encyc. of Music). [1913 Webster]… … The Collaborative International Dictionary of English
Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… … Wikipedia
syllogism — /ˈsɪlədʒɪzəm / (say siluhjizuhm) noun 1. Logic an argument with two premises and a conclusion. Both the premises of a categorical syllogism are categorical propositions, containing just three distinct terms between them, e.g. all men are mortal… …
disjunctive — dis•junc•tive [[t]dɪsˈdʒʌŋk tɪv[/t]] adj. 1) serving or tending to disjoin 2) gram. a) syntactically setting two or more expressions in opposition to each other, as but in poor but happy, or expressing an alternative, as or in this or that[/ex]… … From formal English to slang
disjunctive — disjunctively, adv. /dis jungk tiv/, adj. 1. serving or tending to disjoin; separating; dividing; distinguishing. 2. Gram. a. syntactically setting two or more expressions in opposition to each other, as but in poor but happy, or expressing an… … Universalium
Hypothetical syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia