Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q236975> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Q236975 subject Q7217201.
- Q236975 subject Q7470264.
- Q236975 subject Q8519839.
- Q236975 subject Q8843634.
- Q236975 abstract "Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties: Law of excluded middle and double negative elimination Law of noncontradiction, and the principle of explosion Monotonicity of entailment and idempotency of entailment Commutativity of conjunction De Morgan duality: every logical operator is dual to anotherWhile not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.The intended semantics of classical logic is bivalent. With the advent of algebraic logic it became apparent however that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than "true" and "false". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.".
- Q236975 wikiPageWikiLink Q1005222.
- Q236975 wikiPageWikiLink Q107342.
- Q236975 wikiPageWikiLink Q134661.
- Q236975 wikiPageWikiLink Q1541962.
- Q236975 wikiPageWikiLink Q173183.
- Q236975 wikiPageWikiLink Q173300.
- Q236975 wikiPageWikiLink Q176630.
- Q236975 wikiPageWikiLink Q176786.
- Q236975 wikiPageWikiLink Q185502.
- Q236975 wikiPageWikiLink Q185521.
- Q236975 wikiPageWikiLink Q1945137.
- Q236975 wikiPageWikiLink Q200694.
- Q236975 wikiPageWikiLink Q210841.
- Q236975 wikiPageWikiLink Q2110857.
- Q236975 wikiPageWikiLink Q211790.
- Q236975 wikiPageWikiLink Q224821.
- Q236975 wikiPageWikiLink Q2488768.
- Q236975 wikiPageWikiLink Q2749902.
- Q236975 wikiPageWikiLink Q3173010.
- Q236975 wikiPageWikiLink Q374182.
- Q236975 wikiPageWikiLink Q3844169.
- Q236975 wikiPageWikiLink Q39645.
- Q236975 wikiPageWikiLink Q4055684.
- Q236975 wikiPageWikiLink Q426592.
- Q236975 wikiPageWikiLink Q468422.
- Q236975 wikiPageWikiLink Q4724013.
- Q236975 wikiPageWikiLink Q4973304.
- Q236975 wikiPageWikiLink Q500930.
- Q236975 wikiPageWikiLink Q5155091.
- Q236975 wikiPageWikiLink Q5157263.
- Q236975 wikiPageWikiLink Q5266983.
- Q236975 wikiPageWikiLink Q5300067.
- Q236975 wikiPageWikiLink Q5988174.
- Q236975 wikiPageWikiLink Q60028.
- Q236975 wikiPageWikiLink Q60190.
- Q236975 wikiPageWikiLink Q7217201.
- Q236975 wikiPageWikiLink Q7470264.
- Q236975 wikiPageWikiLink Q7858706.
- Q236975 wikiPageWikiLink Q8078.
- Q236975 wikiPageWikiLink Q814390.
- Q236975 wikiPageWikiLink Q841728.
- Q236975 wikiPageWikiLink Q8519839.
- Q236975 wikiPageWikiLink Q868.
- Q236975 wikiPageWikiLink Q868437.
- Q236975 wikiPageWikiLink Q8843634.
- Q236975 wikiPageWikiLink Q913874.
- Q236975 comment "Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.".
- Q236975 label "Classical logic".