{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

propositional logic

propositional logic - Propositional Logic In categorical...

This preview shows pages 1–15. Sign up to view the full content.

1 Propositional Logic In categorical syllogism, we deal with terms that are related by quantifiers and copula in four different manners. In propositional logic, we deal with propositions as the basic units of meaning. All complicated propositions or arguments are constructed from propositions that are basic or simple.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
2 Simple/basic propositions are those that are the simplest and contain within themselves no other simple propositions. Compound propositions are composed of a number of simple propositions. Imagine that when you think, write or speak, you are actually constructing a model with the basic units.
3 Simple/basic propositions John is a man. Mary is beautiful. Paul stole the watch.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4 Compound propositions It is not the case that John is clever . If you give me the money , then I will be rich. Either Mary is a liar or John misunderstands Mary .
5 Symbols We use capitalized letters to represent propositions. So if the proposition “John is clever” is A and the proposition “Mary is happy” is B, then the compound proposition “John is clever and Mary is happy” is A&B.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
6 Logical operators We have five logical operators: 1) ~ negation (not, it is not the case that) 2) • conjunction (and, but, also) 3) v disjunction (or, unless) 4) implication (if …then, only if) 5) ≡ equivalence (if and only if)
7 In some books, ‘&’ or ‘ ’ is used for and; ¬ ’ is used for not; ‘ ’ is used for imply; ’ is used for equivalent.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
8 Logical operators are logical connectives that join the simple propositions into a logically meaningful compound proposition. Example: It is not the case that E ~E B and C B • C Either C or D C v D If A then B A B H if and only D H ≡ D
9 Note that A B is a conditional proposition expressing the relation of material implication. Generally, it may be read as our normal “If … then”. Exceptional cases will be encountered later. A is the antecedent and B is the consequent . ≡ is called the material equivalence.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
10 Only ~ is placed in front of an expression. Other operators are placed between expressions.
11 Main Operator The main operator is that operator in a compound proposition that governs the largest component(s) in the proposition. It is also the last operator to be dealt with in finding out the truth value (T or F) of a compound proposition. Compare to our use of +, - , × , ÷ . In 4 × (3 + 2), “ × ” is the main mathematical operator.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
12 The main operator of the following propositions is “~” ~B ~(A B) ~((A≡ F) • (D ≡ E))
13 Main operator is “•”. K • ~L (E v F) • (G v H) ((R T) v (S U)) • ((W ≡ X) v (Y ≡ Z))

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
14 The main operator is “v”.
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern