Let and be propositions. The conjunction of and , denoted by , is the proposition that "$p$ and $q$".
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
For example:
- Let be that “Today is Tuesday”.
- Let be that “It is raining today”.
- is that “Today is Tuesday and it is raining today”.
But in English, $p \wedge q$ and $q \wedge p$ do not always mean the same thing.
- "Bob became sick and he visited the doctor."
- "Bob visited the doctor and he became sick."
This can be handled by dynamic conjunctions.