Information about Logic Notes

Published on August 8, 2008

Author: acavis

Source: slideshare.net

Statements Statement – a sentence that is either true or false Examples: Lansing is the Capitol of Michigan All swimming pools are rectangles Mr. Cavis is an amazing teacher Class will be cancelled next Wednesday 2 is an even number 13 is an even number We often use ‘P’ or ‘Q’ to represent statements Ex – P 1 : Lansing is the Capitol of Michigan P 2 : All swimming pools are rectangles

Statement – a sentence that is either true or false

Examples:

Lansing is the Capitol of Michigan

All swimming pools are rectangles

Mr. Cavis is an amazing teacher

Class will be cancelled next Wednesday

2 is an even number

13 is an even number

We often use ‘P’ or ‘Q’ to represent statements

Ex – P 1 : Lansing is the Capitol of Michigan

P 2 : All swimming pools are rectangles

Statements – Simple and Compound A Simple Statement is a statement that conveys 1 idea A Compound Statement is a statement that combines 2 or more simple statements Examples: Mr. Cavis drives a minivan Seven times four is 28 and today is Friday The earth is flat or I had waffles for breakfast

A Simple Statement is a statement that conveys 1 idea

A Compound Statement is a statement that combines 2 or more simple statements

Examples:

Mr. Cavis drives a minivan

Seven times four is 28 and today is Friday

The earth is flat or I had waffles for breakfast

Truth Values and Open Sentences • A statement’s Truth Value is whether it is true (T) or false (F) • So P 1 : Lansing is the Capitol of Michigan has a truth value of true (T) • While P 2 : All swimming pools are rectangles, has a truth value of false (F) • Open sentence – a sentence whose truth value depends on the value of some variable. • Example: - 3x = 12; is a open math sentence.

Truth Tables • Truth Tables are a way of organizing the possible truth values of a statement or series of statements F T P F T Q F F T F F T T T Q P

Negation – “Not statements” • Negation – Changing a statement so that it has the opposite meaning and truth values - We generally do this by inserting the word ‘NOT’ - The symbol for negation is ‘~’ and is read “Not” - So if we have a statement P: five plus two is seven; the negation of that would be ~P: five plus two is not seven • Example: P: There is snow on the ground ~P: There is not snow on the ground

Truth Table for Negation F T P T F ~P

“ And Statements” (Conjunctions) When we are making the conjunction of 2 or more statements, we use the word “And,” and the symbol that we use is ‘^’ (Looks like an A without the middle line – ‘And’ starts with ‘A’) Example: P: I found $5 Q: I crashed my car into a telephone pole P^Q: I found $5 AND I crashed my car into a telephone pole .

When we are making the conjunction of 2 or more statements, we use the word “And,” and the symbol that we use is ‘^’ (Looks like an A without the middle line – ‘And’ starts with ‘A’)

Example:

P: I found $5

Q: I crashed my car into a telephone pole

P^Q:

Truth Table for “And” A conjunction is only true if all of the statements in it are true , otherwise it is false F F F F T F F F T T T T P^Q Q P

A conjunction is only true if all of the statements in it are true , otherwise it is false

“ Or Statements” (Disjunctions) When we are making the disjunction of 2 or more statements, we use the word “Or,” and the symbol that we use is ‘ V ’ Example: P: The number 3 is odd Q: 57 is a prime number P V Q: The number 3 is odd OR 57 is a prime number .

When we are making the disjunction of 2 or more statements, we use the word “Or,” and the symbol that we use is ‘ V ’

Example:

P: The number 3 is odd

Q: 57 is a prime number

P V Q:

Truth Table for “Or” A disjunction is true if at least one of the statements in it are true , otherwise it is false. F F F T T F T F T T T T P V Q Q P

A disjunction is true if at least one of the statements in it are true , otherwise it is false.

Implication Called an implication because we are “Implying” something to be true Also known as an “If-Then” Statement An implication for statements P and Q is denoted P=> Q An implication is read either “If P, then Q” or “P implies Q”

Called an implication because we are “Implying” something to be true

Also known as an “If-Then” Statement

An implication for statements P and Q is denoted P=> Q

An implication is read either “If P, then Q” or “P implies Q”

Truth Table for “If-Then” An implication is only false when the first statement is true and the second one is false , otherwise it is true. T F F T T F F F T T T T P => Q Q P

An implication is only false when the first statement is true and the second one is false , otherwise it is true.

Example of an “If-Then” Suppose a student in here is getting a B+ and asks me “Is there any way for me to get an ‘A’ in this class?” I tell that student “If you get an ‘A’ on the final exam, then you will get an ‘A’ in the class.” So here are our 2 statements *P: You get an ‘A’ on the Final Exam *Q: You get an ‘A’ in the class

Suppose a student in here is getting a B+ and asks me “Is there any way for me to get an ‘A’ in this class?”

I tell that student “If you get an ‘A’ on the final exam, then you will get an ‘A’ in the class.”

So here are our 2 statements

*P: You get an ‘A’ on the Final Exam

*Q: You get an ‘A’ in the class

Example of an “If-Then” (Cont.) Think of the combinations of outcomes as if I was telling the truth to that student or not and then consider the possible outcomes: Both P and Q are true - The student got an ‘A’ on the exam and then received an ‘A’ in the class - Therefore, I was telling the truth about the student’s final grade

Think of the combinations of outcomes as if I was telling the truth to that student or not and then consider the possible outcomes:

Both P and Q are true

- The student got an ‘A’ on the exam and then received an ‘A’ in the class

- Therefore, I was telling the truth about the student’s final grade

Example of an “If-Then” (Cont.) 2) P is true, but Q is false - The student got an ‘A’ on the exam and then did not receive an ‘A’ in the class - Therefore, I was not telling the truth about the student’s final grade - What I said was false, which agrees with the 2 nd row of the truth table

Example of an “If-Then” (Cont.) 3) P is false and Q is true - The student did not get an ‘A’ on the exam (say they got a ‘B’) and then received an ‘A’ in the class - I did not lie when I spoke with the student initially, so I was telling the truth

Example of an “If-Then” (Cont.) 4) Both P and Q are false - The student did not get an ‘A’ on the exam and did not get an ‘A’ in the class - I only promised an ‘A’ in the class if the student got an ‘A’ on the exam, so again I was telling the truth, which agrees with the last row in the truth table.

Converse (Not the shoe brand) The converse is when you take an “If-Then” statement (P=>Q) and reverse the order of the statements (Q=>P) *So, Q=>P is the converse of P=>Q Example: *Let this be an implication about a triangle ‘T’: - If T is equilateral, then T is isosceles *So the converse would be: - If T is Isosceles, then T is equilateral - Note that the implication (If-Then) is true in this case, but the converse is not.

The converse is when you take an “If-Then” statement (P=>Q) and reverse the order of the statements (Q=>P)

*So, Q=>P is the converse of P=>Q

Example:

*Let this be an implication about a triangle ‘T’:

- If T is equilateral, then T is isosceles

*So the converse would be:

Biconditional A biconditional of statements P and Q is denoted P<=>Q and is read “P if and only if Q” A biconditional is nothing more than an “if-then” statement joined with its converse by an “And” – [(P=>Q)^(Q=>P)] Note: the prefix “bi” means 2, so biconditional means “2 conditionals (If-Then)’

A biconditional of statements P and Q is denoted P<=>Q and is read “P if and only if Q”

A biconditional is nothing more than an “if-then” statement joined with its converse by an “And” – [(P=>Q)^(Q=>P)]

Note: the prefix “bi” means 2, so biconditional means “2 conditionals (If-Then)’

Truth Tables for Biconditional - We will work out the 1 st truth table in order to complete the bottom one - Note: A Biconditional is only true when the truth values of ‘P’ and ‘Q’ are the same T F F F T F F F T T T T P<=>Q Q P

Logic Pro X kommt mit einer fortschrittlichen, intuitiven Oberfläche und jeder Menge fantastischer neuer Plug‑ins und Sounds sowie neuen Tools zum ...

Read more

Remark 1.1.13. Note that, if we identify formulas with formation trees in the abbreviated style, then there is no need for parentheses. Remark 1.1.14.

Read more

Welcome ONO Kengo’s Site / Logic Note.com.

Read more

Jose Hurtado - Logic Notes: Using Computerized Project Management (Book and Video) jetzt kaufen. ISBN: 9780929978048, Fremdsprachige Bücher ...

Read more

A Groove Template can be derived from any MIDI object in the Arrange window which contains MIDI notes. By quantising your sequences to the positions of ...

Read more

Logic (from the Ancient Greek: λογική, logike) [1] is the branch of philosophy concerned with the use and study of valid reasoning. [2] [3] The study ...

Read more

Learn about current and previous Logic Pro 9 updates. Logic Pro 9.1.8 is an update to Logic Pro 9 (which is part of Logic Studio 2&rpar ...

Read more

Depending on the context, the term may refer to an ideal logic gate, ... Note that the use of 3-state logic for bus systems is not needed, ...

Read more

2 Hurley Chapter 1 Logic Notes 1.2 Recognizing Arguments Concepts: These are terms you should be able to define and recognize after covering Section 1.1.

Read more

## Add a comment