C251 Foundations of Digital Computing
Dana Vrajitoru

C251 Homework 6

Due date: Wednesday, October 8, 2025.

Proofs, Proofs with Quantifiers

Solve the following exercises from the textbook:

Notes: