Logical connectives | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
||||||||||||||||||||||
Related concepts | ||||||||||||||||||||||
Applications | ||||||||||||||||||||||
![]() | ||||||||||||||||||||||
In propositional logic and Boolean algebra, there is a duality between conjunction and disjunction,[1][2][3] also called the duality principle.[4][5][6] It is, undoubtedly, the most widely known example of duality in logic.[1] The duality consists in these metalogical theorems:
- In classical propositional logic, the connectives for conjunction and disjunction can be defined in terms of each other, and consequently, only one of them needs to be taken as primitive.[4][1]
- If is used as notation to designate the result of replacing every instance of conjunction with disjunction, and every instance of disjunction with conjunction (e.g. with , or vice-versa), in a given formula , and if is used as notation for replacing every sentence-letter in with its negation (e.g., with ), and if the symbol is used for semantic consequence and ⟚ for semantical equivalence between logical formulas, then it is demonstrable that ⟚ ,[4][7][6] and also that if, and only if, ,[7] and furthermore that if ⟚ then ⟚ .[7] (In this context, is called the dual of a formula .)[4][5]
This article will prove these results, in the § Mutual definability and § Negation is semantically equivalent to dual sections respectively.
Mutual definability
[edit]Because of their semantics, i.e. the way they are commonly interpreted in classical propositional logic, conjunction and disjunction can be defined in terms of each other with the aid of negation, so that consequently, only one of them needs to be taken as primitive.[4][1] For example, if conjunction (∧) and negation (¬) are taken as primitives, then disjunction (∨) can be defined as follows:[1][8]
- (1)
Alternatively, if disjunction is taken as primitive, then conjunction can be defined as follows:[1][9][8]
- (2)
Also, each of these equivalences can be derived from the other one; for example, if (1) is taken as primitive, then (2) is obtained as follows:[1]
- (3)
Functional completeness
[edit]Since the Disjunctive Normal Form Theorem shows that the set of connectives is functionally complete, these results show that the sets of connectives and are themselves functionally complete as well.
De Morgan's laws
[edit]De Morgan's laws also follow from the definitions of these connectives in terms of each other, whichever direction is taken to do it.[1] If conjunction is taken as primitive, then (4) follows immediately from (1), while (5) follows from (1) via (3):[1]
- (4)
- (5)
Negation is semantically equivalent to dual
[edit]Theorem:[4][7] Let be any sentence in . (That is, the language with the propositional variables and the connectives .) Let be obtained from by replacing every occurrence of in by , every occurrence of by , and every occurrence of by . Then ⟚ . ( is called the dual of .)
Proof:[4][7] A sentence of , where is as in the theorem, will be said to have the property if ⟚ . We shall prove by induction on immediate predecessors that all sentences of have . (An immediate predecessor of a well-formed formula is any of the formulas that are connected by its dominant connective; it follows that sentence letters have no immediate predecessors.) So we have to establish that the following two conditions are satisfied: (1) each has ; and (2) for any non-atomic , from the inductive hypothesis that the immediate predecessors of have , it follows that does also.
- Each clearly has no occurrence of or , and so is just . So showing that has merely requires showing that , which we know to be the case.
- The induction step is an argument by cases. If is not an then must have one of the following three forms: (i) , (ii) , or (iii) where and are sentences of . If is of the form (i) or (ii) it has as immediate predecessors and , while if it is of the form (iii) it has the one immediate predecessor . We shall check that the induction step holds in each of the cases.
- Suppose that and each have , i.e. that ⟚ and ⟚ . This supposition, recall, is the inductive hypothesis. From this we infer that ⟚ . By de Morgan's Laws ⟚ . But , and . So it has been shown that the inductive hypothesis implies that ⟚ , i.e. has as required.
- We have the same inductive hypothesis as in (i). So again ⟚ and ⟚ . Hence . By de Morgan again, ⟚ . But . So ⟚ in this case too.
- Here the inductive hypothesis is simply that ⟚ . Hence ⟚ . But . Hence ⟚ . Q.E.D.
Further duality theorems
[edit]Assume . Then by uniform substitution of for . Hence, , by contraposition; so finally, , by the property that ⟚ , which was just proved above.[7] And since , it is also true that if, and only if, .[7] And it follows, as a corollary, that if , then .[7]
Conjunctive and disjunctive normal forms
[edit]For a formula in disjunctive normal form, the formula will be in conjunctive normal form, and given the result that § Negation is semantically equivalent to dual, it will be semantically equivalent to .[10][11] This provides a procedure for converting between conjunctive normal form and disjunctive normal form.[12] Since the Disjunctive Normal Form Theorem shows that every formula of propositional logic is expressible in disjunctive normal form, every formula is also expressible in conjunctive normal form by means of effecting the conversion to its dual.[11]
References
[edit]- ^ a b c d e f g h i "Duality in Logic and Language | Internet Encyclopedia of Philosophy". Retrieved 2024-06-10.
- ^ "1.1 Logical Operations". www.whitman.edu. Retrieved 2024-06-10.
- ^ Look, Brandon C. (2014-09-25). The Bloomsbury Companion to Leibniz. Bloomsbury Publishing. p. 127. ISBN 978-1-4725-2485-0.
- ^ a b c d e f g Howson, Colin (1997). Logic with trees: an introduction to symbolic logic. London ; New York: Routledge. pp. 41, 44–45. ISBN 978-0-415-13342-5.
- ^ a b "Boolean algebra, Part 1 | Review ICS 241". courses.ics.hawaii.edu. Retrieved 2024-06-10.
- ^ a b Kurki-Suonio, R. (2005-07-20). A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors. Springer Science & Business Media. pp. 80–81. ISBN 978-3-540-27348-6.
- ^ a b c d e f g h Bostock, David (1997). Intermediate logic. Oxford : New York: Clarendon Press ; Oxford University Press. pp. 62–65. ISBN 978-0-19-875141-0.
- ^ a b Makridis, Odysseus (2022). Symbolic logic. Palgrave philosophy today. Cham, Switzerland: Palgrave Macmillan. p. 133. ISBN 978-3-030-67395-6.
- ^ Lyons, John (1977-06-02). Semantics: Volume 1. Cambridge University Press. p. 145. ISBN 978-0-521-29165-1.
- ^ Robinson, Alan J. A.; Voronkov, Andrei (2001-06-21). Handbook of Automated Reasoning. Gulf Professional Publishing. p. 306. ISBN 978-0-444-82949-8.
- ^ a b Polkowski, Lech T. (2023-10-03). Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence". Springer Nature. p. 70. ISBN 978-3-031-42034-4.
- ^ Bagdasar, Ovidiu (2013-10-28). Concise Computer Mathematics: Tutorials on Theory and Problems. Springer Science & Business Media. p. 36. ISBN 978-3-319-01751-8.