1.) Define ~ using |. Find a sentence in our symbolic formal language, using | as the only logical connective, that is logically equivalent to ~p. You can have multiple occurrences of p, or of |, and you can use parentheses. But, no other logical connectives besides | are allowed.
2.)Define v using |. Find a sentence, using | as the only logical connective, that is logically equivalent to p v q.
*(The / is a sheffer stroke)*
3.)you simply have to produce a formal proof for:
G /:. H v ~H
You may use any of Copi’s 19 rules, but you may not use indirect proof.