Find a sentence in our symbolic formal language

Reference no: EM13522639

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.

Reference no: EM13522639

Questions Cloud

Hobbes believes that justice is not an objective value : Hobbes believes that justice is not an objective value and cannot exist in a state of nature. Discuss his view and his reasons for holding it, evaluate what he has to say.

Proposed downtown arena for several reasons : City Council should approve the proposed downtown arena, for several reasons. First, the need for the arena is obvious. Once the evidence is examined it becomes clear that the existing arena is inadequate. Moreover, it will revitalize the downtown..

Importance on theoretical contemplation : Why does Aristotle place such great importance on theoretical contemplation? How does Aristotle argue that “perfect happiness is a contemplative activity”?

Is capital punishment uncivilized? : Is Capital Punishment Uncivilized? If your exploration concludes that C.P. is NOT uncivilized, then which sort of crimes warrant execution? Discuss

Find a sentence in our symbolic formal language : 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 conn..

Provide deontological reasons about same sex marriage : Philosophers who are againt same sex marriage ? Provide articles of them too please ? Provide deontological reasons about same sex marriage ?

Formulations of the categorical imperative : Devise an ethical scenario and apply the 1st and 2nd formulations of the Categorical Imperative. Do they both come to the same moral conclusion about the right course of action? Explain.

Study of comets undermine confidence in aristotles cosmic : How did the study of comets undermine confidence in Aristotle's cosmic scheme in the period before the invention of the telescope?

Singer links speciesism to racism and sexism : Both Singer and Regan make cases in support of animal rights. Singer says that because animals experience pleasure and pain, they deserve moral respect. Regan makes a similar argument saying that all experience subjects deserve Kantian respect. Wh..

User Account

All Pages