https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AClassical_logic 2026-05-19T18:47:54Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Classical_logic&diff=90224&oldid=prev 2023-02-17T13:19:52Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Classical_logic" class="extiw" title="alpha:Template:Classical logic">alpha:Template:Classical_logic</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 18:49, 17 February 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Classical_logic&diff=90223&oldid=prev 2023-02-13T09:18:09Z

<p>Created page with &quot;{{Navbox | name = Classical logic | state = {{{state|{{{1|&lt;noinclude&gt;expanded&lt;/noinclude&gt;}}}}}} | title = <a href="/index.php?title=Classical_logic&amp;action=edit&amp;redlink=1" class="new" title="Classical logic (page does not exist)">Classical logic</a> | image = File:Logic.svg|75px|alt=Law of noncon...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Classical logic<br /> | state = {{{state|{{{1|&lt;noinclude&gt;expanded&lt;/noinclude&gt;}}}}}}<br /> | title = [[Classical logic]]<br /> | image = [[File:Logic.svg|75px|alt=Law of noncontradiction]]<br /> | listclass = hlist<br /> <br /> |group0=General<br /> |list0=<br /> * [[Quantifier (logic)|Quantifiers]]<br /> * [[Predicate (mathematical logic)|Predicate]]<br /> * [[Logical connective|Connective]]<br /> * [[tautology (logic)|Tautology]]<br /> * [[Truth table]]s<br /> * [[Truth function]]<br /> * [[Truth value]]<br /> * [[Well-formed formula]]<br /> * [[Idempotency of entailment]]<br /> * [[Logicism]]<br /> * [[Problem of multiple generality]]<br /> * [[Associative property|Associativity]]<br /> * [[Distributive property|Distribution]]<br /> <br /> |group1 = Classical logics<br /> |list1 =<br /> * [[Term logic|Term]]<br /> * [[Propositional calculus|Propositional]]<br /> * [[First-order logic|First-order]]<br /> * [[Second-order logic|Second-order]]<br /> * [[Higher-order logic|Higher-order]]<br /> |group2=Principles<br /> |list2=<br /> * [[Commutativity of conjunction]]<br /> * [[Law of excluded middle|Excluded middle]]<br /> * [[Principle of bivalence|Bivalence]]<br /> * [[Law of noncontradiction|Noncontradiction]]<br /> * [[Monotonicity of entailment|Monotonicity of entailment]]<br /> * [[Principle of explosion|Explosion]]<br /> <br /> |group3=Rules<br /> |list3=<br /> *[[De Morgan's laws]]<br /> *[[Material implication (rule of inference)|Material implication]]<br /> *[[Transposition (logic)|Transposition]]<br /> *[[modus ponens]]<br /> *[[modus tollens]]<br /> *[[modus ponendo tollens]]<br /> *[[Constructive dilemma]]<br /> *[[Destructive dilemma]]<br /> *[[Disjunctive syllogism]]<br /> *[[Hypothetical syllogism]]<br /> *[[Absorption (logic)|Absorption]]<br /> {{Navbox|subgroup<br /> |group1=Introduction<br /> |list1=<br /> *[[Negation introduction|Negation]]<br /> *[[double negation introduction|Double negation]]<br /> *[[Existential generalization|Existential]]<br /> *[[Universal generalization|Universal]]<br /> *[[Biconditional introduction|Biconditional]]<br /> *[[Conjunction introduction|Conjunction]]<br /> *[[Disjunction introduction|Disjunction]]<br /> |group2=Elimination<br /> |list2=<br /> *[[Double negation elimination|Double negation]]<br /> *[[Existential instantiation|Existential]]<br /> *[[Universal instantiation|Universal]]<br /> *[[Biconditional elimination|Biconditional]]<br /> *[[Conjunction elimination|Conjunction]]<br /> *[[Disjunction elimination|Disjunction]]<br /> }}<br /> |group4=People<br /> |list4=<br /> <br /> *[[Bernard Bolzano]]<br /> *[[George Boole]]<br /> *[[Georg Cantor]]<br /> *[[Richard Dedekind]]<br /> *[[Augustus De Morgan]]<br /> *[[Gottlob Frege]]<br /> *[[Kurt Gödel]]<br /> *[[Hugh MacColl]]<br /> *[[Giuseppe Peano]]<br /> *[[Charles Sanders Peirce]]<br /> *[[Bertrand Russell]]<br /> *[[Ernst Schröder (mathematician)|Ernst Schröder]]<br /> *[[Henry M. Sheffer]]<br /> *[[Alfred Tarski]]<br /> *[[Willard Van Orman Quine]]<br /> *[[Ludwig Wittgenstein]]<br /> *[[Jan Łukasiewicz]]<br /> |group5=Works<br /> |list5=<br /> *[[Begriffsschrift]]<br /> *[[Function and Concept]]<br /> *[[The Principles of Mathematics]]<br /> *[[Principia Mathematica]]<br /> *[[Tractatus Logico-Philosophicus]]<br /> <br /> }}&lt;noinclude&gt;{{Documentation}}&lt;/noinclude&gt;</div>

alpha>Indicwiki