University of Florida Symbolic Logic Problem Paper

User Generated

ovovov

Writing

University of Florida

Description

Please finish the question sheet. This course serves as an introduction to the tools and concepts deployed in symbolic deductive logic. The course is not intended as a way to help sharpen critical reasoning skills regarding arguments found in everyday discourse or natural language; rather, we focus on logic as an independent area of inquiry. In particular, this course focuses onsentential logic—the branch of symbolic deductive logic that treats sentences as the most basic units of logical analysis. Throughout the quarter, we will focus on exploring three important tools that are used for the analysis of logical concepts: truth-tables, truth-trees, and derivations.

Required Text

Marie Bergmann, James Moor, Jack Nelson. 2014. The Logic Book (6th ed.) McGraw- Hill.

Unformatted Attachment Preview

A.) Construct truth-tables for the following sentences. 1.) (∼ ∼ A & ∼ B) ⊃ (∼ A ≡︎ B) 2.) ∼ (D ≡︎︎ (∼ A & B)) ∨ (∼ D ∨ ∼ B) B.) Construct a full truth-table for each of the following sentences of SL, and state whether the sentence is truthfunctionally true, truth-functionally false, or truth-functionally indeterminate. 3.) (E︎ ≡ H) ⊃ (∼E ⊃ ∼H) 4.) ∼B ⊃ [(B∨D) ⊃ D] C.) Determine, by constructing full truth-tables, which of the following pairs of sentences of SL are truthfunctionally equivalent. 5.) C & (B ∨ A) 6.) A⊃[B⊃(A⊃B)] (C & B) ∨ A B⊃[A⊃(B⊃A)] D.) Construct full truth-tables for each of the following sets of sentences and indicate whether they are truthfunctionally consistent or truth-functionally inconsistent. 7.) {B ≡ (J & K), ∼ J, ∼ B ⊃ B} 8.) {U ∨ (W & H), W ≡ (U ∨ H), H ∨ ∼ H} E.) Construct truth-tables and state whether the following arguments are truth-functionally valid. 9.) B ∨ (A & ∼ C) (C ⊃ A) ≡ B ∼B∨A ___________ ∼ (A ∨ C) 10.) ∼(Y≡ A) ∼Y ∼A __________ W&∼W
Purchase answer to see full attachment
User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Explanation & Answer

Please let me know if there is anything needs to be changed or added. I will be also appreciated that you can let me know if there is any problem or you have not received the work. Please let me know if there is anything needs to be changed or added. I will be also appreciated that you can let me know if there is any problem or you have not received the work Good luck in your study and if you need any further help in your assignments, please let me know Can you please confirm if you have received the work? Once again, thanks for allowing me to help you Bye for now R

Report: truth tables and logic symbols

truth tables and logic symbols
by HAL

General metrics
2,722

836

571

3 min 20 sec

6 min 25 sec

characters

words

sentences

reading
time

speaking
time

Writing Issues
No issues found

Plagiarism
This text seems 100% original. Grammarly found no matching text on
the Internet or in ProQuest’s databases.

Report was generated on Tuesday, Jul 16, 2019, 10:48 AM

Page 1 of 34

Report: truth tables and logic symbols

Unique Words

8%

Measures vocabulary diversity by calculating the
percentage of words used only once in your
document

unique words

Rare Words

14%

Measures depth of vocabulary by identifying words
that are not among the 5,000 most common English
words.

rare words

Word Length

1.9

Measures average word length

characters per word

Sentence Length

1.5

Measures average sentence length

words per sentence

Report was generated on Tuesday, Jul 16, 2019, 10:48 AM

Page 2 of 34

Report: truth tables and logic symbols

truth tables and logic symbols
TRUTH TABLES AND LOGIC SYMBOLS5
Running head: TRUTH TABLES AND LOGIC SYMBOLS1
Truth Tables and Logic Symbols
Name
Course
Date
Truth Tables and Logic Symbols
Part A
Sequence 1
A
B
(∼ ∼ A & ∼ B)
(∼ A ≡ B)
(∼ ∼ A & ∼ B) ⊃ (∼ A ≡ B)
T
T
F
Report was generated on Tuesday, Jul 16, 2019, 10:48 AM

Page 3 of 34

Report: truth tables and logic symbols

F
T
T
F
T
T
T
F
T
F
T
T
F
F
F
F
T

Sequence 2
Report was generated on Tuesday, Jul 16, 2019, 10:48 AM

Page 4 of 34

Report: truth tables and logic symbols

A
B
D
(∼ A & B)
∼ (D ≡ (∼ A & B))

(∼ D ∨ ∼ B)
∼ (D ≡ (∼ A & B)) ∨ (∼ D ∨ ∼ B)

T
T
T
F
T
F
T
T
T
F
F
F
Report was generated on Tuesday, Jul 16, 2019, 10:48 AM

Page 5 of 34

Report: truth tables and logic symbols

T
T
T
F
T
F
T
T
T
T
F
F
F
F
T
T
F
T
T
Report was generated on Tuesday, Jul 16, 201...


Anonymous
Just what I needed…Fantastic!

Studypool
4.7
Trustpilot
4.5
Sitejabber
4.4

Similar Content

Related Tags