prove false
91disprove — verb Syn: refute, prove false, rebut, debunk, give the lie to, demolish; informal shoot full of holes, blow out of the water …
92pander — [16] Pandaro was a character in Boccaccio’s Filostrato. He was the cousin of Cressida, and acted as go between in her affair with Troilus. Chaucer took him over in his Troilus and Criseyde as Pandarus, changing him from cousin to uncle but… …
93pander — This word should properly be ‘Pandar’, since it derives from the name ‘Pandarus’. This was the name given by Boccaccio and Chaucer to the man who acted as gobetween for Troilus and Criseyde, though by the time Shakespeare came to write his… …
94negative — [neg′ə tiv] adj. [ME negatife < OFr or L: OFr négatif < L negativus < negatus: see NEGATION] 1. containing, expressing, or implying a denial or refusal; that says “no” [a negative reply] 2. opposite to something regarded as positive;… …
95Defamation — This article is about the malicious statement. For the 2009 film, see Defamation (film). Libel and Slander redirect here. For other uses, see Libel (disambiguation) and Slander (disambiguation). Vilification and Calumny redirect here. For the… …
96Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
97Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …
98Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …
99Ontological argument — The ontological argument for the existence of God (or simply ontological argument) is an a priori proof for the existence of God. The ontological argument was first proposed by the eleventh century monk Anselm of Canterbury, who defined God as… …
100Trespass — Unlawful entry redirects here. For the 1992 film, see Unlawful Entry (film). For other uses, see Trespass (disambiguation) …
