Math stuff

Relations - Ordered Pairs and Cartesian Products 1. (a) T = {(a, b) ∈ P x P | a is a parent of b). (b) T = {(c, u) ∈ C x U | there i...

Proofs involving Conjunctions and Biconditionals Note: A lot of the first few problems are of the same type. Skipped the similar ones. ...

Proofs involving Quantifiers 1. Givens ∃x(P(x) → Q(x)) Goal ∀x P(x) → ∃x Q(x) Revised givens ∃x(P(x) → Q(x)) ∀x P(x) Goal...

Proofs involving negations and conditionals 1. (a) Givens P → Q - i Q → R - ii Goals P → R Suppose P. Then from (i), Q. Since Q, from...

1.2 Sentential Logic 1. (a) P Q -P ∨ Q T T F F F T F ...