2. The definition of conjunction (AND) - "A AND B" is tr…

2. The definition of conjunction (AND)
- "A AND B" is true if and only if both A is true AND B is true
- Formally: (A ∧ B) ↔ (A) ∧ (B)
- This establishes what "AND" means in a truth-functional sense