Identify the variables using a truth table

Assignment Help Theory of Computation

Reference no: EM131722548

This version of GE3 uses ASCII symbols for the logical operators since many word processing systems cannot use the regular symbols. Here are the symbols:

Conjunction: "&" (used to translate "and," "but," "further," and others that link simple sentences)
Disjunction: "v" (used to translate "either/or" and other ways of disjoining simple sentences)
Conditional: ">" (used to translate "if...then," "on the condition that," "only if" and other conditional forms)
Bi-conditional: "=" (used to translate "if and only if," "necessary and sufficient conditions for..." and other bi-conditional forms)
Negation: "~" (used to translate "not" and other forms of negation).

Part I: Translation for ordinary language to symbolic form.

• Translate the following sentences into variable form and identify the variables. (NOTE: these are complex sentences, but they are only sentences, not arguments.)

• If Joe is happy, then he is also smart.

• It is not the case that if John lodges a complaint, then Bill will investigate and Mike will not be disqualified.

• Bill will not investigate unless John lodges a complaint.

• If Carbon is a necessary condition for life, and life exists on Mars, then carbon can be found on Mars.

• Virtue is a necessary and sufficient condition for happiness, unless our life is without purpose.

• Translating Arguments. Translate the following arguments into their formal equivalents. You will have to identify the conclusion, the premises, the variables, and the logical operators, and then arrange them accordingly.

• If Joe is happy, then he is also smart.

• It is not the case that if John lodges a complaint, then Bill will investigate and Mike will not be disqualified.

• Bill will not investigate unless John lodges a complaint.

• If Carbon is a necessary condition for life, and life exists on Mars, then carbon can be found on Mars.

• Virtue is a necessary and sufficient condition for happiness, unless our life is without purpose.

REMEMBER: Assume that A, B, C are ALWAYS TRUE, and X, Y, Z are ALWAYS FALSE

• (Z v B) > ~C

• {~[(A > B) v X] > ~Z} = [(B & Y) v (~Z > X)]

Part II B: For each of the following sentences, use a truth table to determine if they are (a) tautological; (b) contradictory; or (c) contingent. (See textbook-section 7.5 for more information.) (NOTE: I am using ASCII for the symbols here to make sure everyone can read them. Here is the notation: "&" means "and"; "v" means "either/or"; ">" means "if-then"; "=" means "if and only if"; and "~" means "not".)

• (p & q) v (~p > q)

• (p > p) > (q & ~q)

• (q & ~q) > ~(p v ~p)

Part III: Truth Tables: Use truth tables to determine the validity of the following arguments. 1. Determine the number of variables. 2. Rewrite the argument in symbolic form. 3. Use the table provided below to demonstrate validity or invalidity. If the argument is invalid INDICATE the row or rows that show this (see the example below).

V1 stands for Variable One. V2 stands for variable 2 and so on. P1 stands for Premise One, P2 stands for Premise Two, P3 stands for Premise Three and so on. CN stands for Conclusion.

1. If you drink enough hemlock, then you will die. You have died, so you must have drunk enough hemlock.

Valid or Invalid

2. Either Alito is an honest judge or Alito allows his ideology to inform his judicial opinions. If Alito allows his ideology to inform his judicial opinions, then Alito is not a good candidate for the Supreme Court. Alito is an honest judge. So, he is must be a good candidate for the Supreme Court.

V1	V2	V3	P1	P2	P3	CN

Valid or Invalid.

3. If we focus more on securing individual privacy, then we risk an increase in successful terrorist attacks. If we strengthen our defense against terrorist attacks, then we cannot focus on securing individual privacy. We can either focus on securing individual privacy or strengthen our defense against terrorist attacks. Thus, we will either risk an increase in successful terrorist attacks, or cannot secure individual privacy.

Valid or Invalid

4. If Carol still had her purse, then theft could not have been the motive for her assault. But, it was either theft or a random attack. Since Carol still had her purse, it must have been a random attack

Valid or Invalid

Reference no: EM131722548

Questions Cloud

Communicate to stakeholders : In no less than one hundred words What primary technique might you use to communicate to stakeholders? No "e-mail" responses please.

Influence decisions on who gets assigned to your project : Most of the time you have no control over who gets assigned from functional groups. How might you influence decisions on who gets assigned to your project?

Construct a relative frequency table for the data : Estimating the rhino population. The International Rhino Federation estimates that there are 17,800 rhinoceroses living in the wild in Africa and Asia.

Optimal quality of resources : In no less than one hundred words How would you go about remedying a situation where less than optimal quality of (human) resources

Identify the variables using a truth table : Translate the following sentences into variable form and identify the variables.use a truth table to determine if they are (a) tautological.

Develop a rationale for a global taxonomy and certification : Develop a rationale for a global taxonomy and certification for three key positions for which Google would likely need to develop talent.

Project manager and identified : If you were a project manager and identified that your project was 5 days behind, how would you handle? How would you handle?

Important in most organizations in industry : Of these drivers, which one is the most important in most organizations in your industry? Why?

Why are numbers of union members in private sector dwindling : Are unions good or bad for America? If they are good, why are numbers of union members in the private sector dwindling?

User Account

All Pages