The conjunction A∧B holds when both A and B hold.
Ancestors (8)
- Logical connective
- Proposition
- Propositional logic
- Mathematical logic
- Foundations of mathematics
- Area of mathematics
- Mathematics
- Home
Incoming links (32)
- Boolean operation
- Boolean operations on events
- Coherent logic
- Complement of a set
- Countable infinitary logic
- De Morgan dual of a Boolean function
- De Morgan's laws
- Exclusive or
- Gödel-Gentzen negative translation
- Logical connective
- Łoś-Tarski preservation theorem
- Negative translation of a classical proof
- Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 20 / 4 / a / Solution
- Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 59 / 1 / b / Solution
- Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 59 / 3 / c / Solution
- Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 74 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 20 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 21 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 23 / 1 / a / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 25 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 25 / 6 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 121 / 2 / iii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 121 / 3 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 135 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 135 / 5 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 120 / 1 / a / Solution
- Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 124 / 1 / ii / Solution
- Primitive positive formula
- Propositional logic
- Set difference
- Set intersection
- Stability of a formula under double negation
Discussion (0)
New discussionThere are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.