Check the validity of the given argument using a truth table

Assignment Help Theory of Computation

Reference no: EM132327246

Question - Predicate Logic

(a) Formulate the following sentences as predicate logic statements. Clearly explain all symbols.

i (i) Michael is a teacher who can instruct on the subject of Science.

ii (ii) All teachers instruct on a subject but not all teachers instruct on Science.

iii (iii) Jane is a vegetarian but she is not a vegan.

iv (iv) Some of Jane's favourite foods are vegan-friendly but that does not mean she is vegan.

v (v) Spain gets sunshine and Jane does not like sunshine so Jane does not go to Spain.

(b) Check the validity of the following argument using a truth table. No marks will be awarded if you do not show all of your workings, including a truth table.

If Susan answered question 1, then Susan scored 85%

Either Tom or Susan answered question 1

Tom did not answer question 1

Therefore Susan scored 85%

a. Every Tsunami is a natural disaster

b. Some natural disasters cause loss of life

Which of the following conclusions is correct? Briefly explain your answers.

1. All natural disasters cause loss of life.

2. Some Tsunamis cause loss of life.

3. Some Tsunamis don't cause loss of life.

4. None of these validly follows.

Reference no: EM132327246

Questions Cloud

Discuss new skills you acquired from this class : Base on the course content, discuss new skills you acquired from this class? How relevant are the new skills to your current and/or future profession?

Explain a job analysis and job evaluation : Explain a job analysis and job evaluation? Why do these play a role in the compensation processes?

Describe how you would adopt at least two sustainability : Could these be applied in the workplace? Describe how you would adopt at least two sustainability practice in the workplace.

Personal leadership style as basis for continued learning : The purpose of this assignment is to provide you with an opportunity to reflect on your personal leadership style as a basis for continued learning.

Check the validity of the given argument using a truth table : Check the validity of the following argument using a truth table. Formulate the following sentences as predicate logic statements.

Reason behind fixed sprint duration in agile : Under what conditions Sprint 0 will be used in Agile? What is the reason behind fixed Sprint duration in Agile?

Abreast of financial measures and metrics employed : Keeping abreast of the financial measures and metrics employed by a company allows employees to better understand its health and position at any given time.

Review the challenging uncertainty learning activity : Review the Challenging Uncertainty learning activity - What is your greatest uncertainty, as an adult learner?

Find a practical example from business : Write a breif report describing this study and how the researcher used this tool to solve this problem and its corresponding positive impact.

User Account

All Pages