write the statement formally using the appropriate quantifers

Printable View