Refutable
81Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… …
82Noumenon — Not to be confused with Numina. Noumena redirects here. For the band, see Noumena (band). The noumenon  /ˈnuː …
83Drunk driving (United States) — Drunk driving is the act of operating and/or driving a motor vehicle while under the influence of alcohol and/or drugs to the degree that mental and motor skills are impaired. It is illegal in all jurisdictions within the U.S. The specific… …
84Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… …
85Paraconsistent 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… …
86The Holy Blood and the Holy Grail — Infobox Book name = The Holy Blood and the Holy Grail title orig = translator = image caption = Cover of the 2005 illustrated hardcover edition author = Michael Baigent, Richard Leigh, and Henry Lincoln illustrator = cover artist = country = UK… …
87Coq — For the coenzyme and dietary supplement, see Coenzyme Q10. Coq Paradigm(s) Functional Stable release 8.3 (October 2010; 12 months ago (2010 10)) …
88Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …
89Peak oil — A logistic distribution shaped production curve, as originally suggested by M. King Hubbert in 1956 …
90Maximal consistent set — In mathematics, a maximal consistent set is a set of formulae belonging to some formal language that satisfies the following constraints: * The set is consistent, that is, no formula is both provable and refutable. * The set is maximal , which… …
