converse of implication
41XNOR gate — XNOR Truth Table Input Output A B 0 0 1 0 1 0 1 0 0 1 1 1 The XNOR gate (sometimes spelled exnor or enor ) is a digital logic gate whose function is the inverse of the exclusive …
42NOR gate — This article is about NOR in the sense of an electronic logic gate (e.g. CMOS 4001). For NOR in the purely logical sense, see Logical NOR. For other uses of NOR or Nor, see Nor (disambiguation). 4001 redirects here. For the year, see 5th… …
43opposite# — opposite n contradictory, contrary, antithesis, antipode, antonym (see under OPPOSITE adj) opposite adj Opposite, contradictory, contrary, antithetical, antipodal, antipodean, antonymous are comparable chiefly as applied to abstractions and as… …
44Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …
45logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …
46Paraconsistent 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… …
47Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity …
48Complex question — Complex question, trick question, multiple question or plurium interrogationum (Latin, of many questions ) is a question that has a presupposition that is complex. The presupposition is a proposition that is presumed to be acceptable to the… …
49Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
50JOB, BOOK OF — (named for its hero (Heb. אִיּוֹב), ancient South Arabian and Thamudic yʾb; Old Babylonian Ayyābum, Tell el Amarna tablet, no. 256, line 6, A ia ab; either from yʾb, to bear ill will or compounded of ay where? and ʾab (divine) father ), one of… …
