Agenda

Logistics

<aside> 📌 Reminders

• Exercises due September 17, 2024 9:00 AM </aside>

Contact: [email protected]

Tutorials → review material + solve problems + answer your questions

Lecture Review

Let review some lecture material

Logical Connectives

<aside> 💡

Disjunction $\lor$: A logical operation that returns true if at least one of the operands is true.

</aside>

<aside> 💡

Conjunction $\land$: A logical operation that returns true only if both operands are true.

</aside>

<aside> 💡

Negation $\neg$: A logical operation that inverts the truth value of its operand, returning true if the operand is false, and vice versa.

</aside>

<aside> 💡

Precedence: The order in which operations are evaluated, with operations of higher precedence being performed before those of lower precedence.

</aside>

• How do we interpret $\neg A \land B$?
• What about $A \lor B \land C$?

Question Time 🙂

• Either John and Bill are telling the truth, or neither of them are
• I’ll have either fish or chicken, but I won’t have both fish and mashed potatoes.