Search

Proofs Resources

Here is what I have so far: The property to prove is R(α). α contains more propositional variables than ∧ connectives. Base Case: α is an atom. α has no ∧ connectives - only a propositional...

1 2 3 4 5