Categories: Uncategorized

Formal Logic

Late Policy: As a general rule, late assignments will not be accepted. See
the full policy on late assignments in the “Course Policies” section of the
syllabus in LEARN.
Assignment Submission: For instructions on creating your assignment
and submitting it to the Dropbox, see the “Assignments” page in the “Activities and Assignments” section of course Table of Contents. (Course Materials > Contents > scroll down to Assignments).
1. Use the truth-tree method to determine whether the following argument is truth-functionally valid or invalid. If it is invalid, recover a
truth-value assignment that shows this. (10 marks)
P1 (J T) J
P2 (T J) T
C ⇠J _ ⇠T
2. Use a truth tree to determine whether the sentence
([(C D)&(D E)] & C) & ⇠E
is truth-functionally true, truth-functionally false or truth functionally
indeterminate. (10 marks)
3. Using SD, derive D & ⇠D from {(⇠A & B) (B ⌘ D), B (C & ⇠A),
⇠D & B}. (10 marks)
4. Using SD, demonstrate that (A & C) _ (B & C) follows from
(A _ B) & C. (10 marks)
5. Using SD, demonstrate that A [B (A B)] is a theorem. (10
marks)

admin

Share
Published by
admin

Recent Posts

Childbirth

For this short paper activity, you will learn about the three delays model, which explains…

7 months ago

Literature

 This is a short essay that compares a common theme or motif in two works…

7 months ago

Hospital Adult Medical Surgical Collaboration Area

Topic : Hospital adult medical surgical collaboration area a. Current Menu Analysis (5 points/5%) Analyze…

7 months ago

Predictive and Qualitative Analysis Report

As a sales manager, you will use statistical methods to support actionable business decisions for Pastas R Us,…

7 months ago

Business Intelligence

Read the business intelligence articles: Getting to Know the World of Business Intelligence Business intelligence…

7 months ago

Alcohol Abuse

The behaviors of a population can put it at risk for specific health conditions. Studies…

7 months ago