For each argument, please type the statement in symbolic form using:

~ for negation, & for conjunction, v for disjunction, an arrow -> for conditional, and a double arrow for biconditional, and then evaluate the relevant truth/falsity of the overall statement.

Example problem:

TRUE STATEMENT: M: Millie washes the car.

FALSE STATEMENT: B: Bill washes the car.

Statement to evaluate: "It is not the case that if Bill washes the car, then Millie washes the car."

This statement can be expressed logically as ~(B -> M). Place this statement in the cells in the first row of the table below and then evaluate the truth value of the overall statement similar to how it was done in the Class 4b video.

~	(B	->	M)
	F		T
	F	T	T
F	F	T	T
Overall statement:	FALSE

1. Statement to evaluate: "If it is not the case that if Carlita dances, then Don dances, then it is not the case that either Mary sings and Bob sings or that Carlita doesn't dance and Don doesn't dance."

Overall statement: