material implication
Look at other dictionaries:
material implication — The truth function of two propositions p, q, defined as false if p is true and q false, but true in the other three cases. It is normally written p → q . The first logician to distinguish the four ways in which truth values can be associated with … Philosophy dictionary
material implication, paradoxes of — The truth function of material implication gives a proposition p → q which is true except in the case in which p is true and q is false. It also corresponds fairly well to the conditional form ‘If p then q ’. But whenever p is false, p → q is… … Philosophy dictionary
material implication — noun An implication as defined in classical propositional logic, leading to the truth of paradoxes of implication such as Q (P P), to be read as any proposition whatsoever is a sufficient condition for a true proposition . Syn: material… … Wiktionary
material implication — noun : implication 2b(1) * * * Logic. equivalence (def. 4a). [1900 05] … Useful english dictionary
Paradoxes of material implication — Implication, in logic, describes conditional if then statements, e.g., if it is raining, then I will bring an umbrella. There are many ways to formalise implication, of which material implication is one of the simplest. It equates the statement… … Wikipedia
material conditional — material implication … Philosophy dictionary
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… … Universalium
Material nonimplication — Venn diagram of … Wikipedia
Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… … Wikipedia