- Mathematical Logic - Truth Value of Statement in Logic
Using truth tables, examine whether the statement pattern (p ∧ q) ∨ (p ∧ r) is a tautology, contradiction or contingency.
Write the following statement in symbolic form and find its truth value:
∀ n ∈ N, n2 + n is an even number and n2 - n is an odd number.
If p, q, r are the statements with truth values T, F, T, respectively then find the truth value of (r ∧ q) ↔ ∼ p