Logical Connectives (w/ ampersands and arrows)
Upcoming SlideShare
Loading in...5
×
 

Logical Connectives (w/ ampersands and arrows)

on

  • 1,326 views

Notes on Conjunction, Disjunction, Conditional, and Biconditional

Notes on Conjunction, Disjunction, Conditional, and Biconditional

Statistics

Views

Total Views
1,326
Views on SlideShare
1,326
Embed Views
0

Actions

Likes
0
Downloads
4
Comments
0

0 Embeds 0

No embeds

Accessibility

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Logical Connectives (w/ ampersands and arrows) Logical Connectives (w/ ampersands and arrows) Presentation Transcript

  • Logical Connectives
  • Truth Functions• Declarative sentences (statements) are either true or false but not both. They cannot be neither.• Whether a sentence is true or false determines its truth value.• Functions take input values to unique output values. That is, the input values determine the output values.• There are some ways of combining sentences into longer ones so that the truth value of the longer sentence is determined by the truth value of the parts that were combined to form it.• So, we’ll call the connectives that combine sentences this way truth functions.
  • And• ‘And’ is often a truth functional connective. Inserting ‘and’ between two statements gives a longer sentence the truth of which is determined by the truth of the parts.• For example, consider: (A) Al admires aardvarks. (B) Barb bakes bologna. The truth of ‘Al admires aardvarks and Barb bakes bologna’ is determined by the truth of A and of B.• If A and B are both true then the longer sentence is true. If either of A or B is false then so is the longer sentence.
  • A Truth Table for ‘And’• We can express all four A B A and B possibilities for A and B in T T T table form. T F F• Here’s how to read the F T F table. The second F F F (horizontal) row says that when A is true and B is true then A and B is true. The bottom row says that when A is false and B is false then A and B is false.
  • Conjunction• We’ll use a dot ‘∙’ or an ampersand ‘&’ to represent the truth functional connective that is captured by the truth table on slide four.• We’ll call sentences formed with the dot (or ampersand) conjunctions. We’ll call the parts conjuncts. For example, ‘A&B’ is a conjunction and ‘A’ is its left conjunct.• Not every instance of ‘and’ in English can be symbolized with the dot. Contrast ‘Al and Barb are chefs’ (It means: Al is a chef & Barb is a chef.) with ‘Al and Barb are enemies.’ (It doesn’t mean: Al is an enemy & Barb is an enemy.)• Some words besides ‘and’ can be symbolized with the dot or ampersand. For example, ‘but’ and ‘also’ form conjunctions.
  • Or• ‘Or’ is often used as a truth functional connective.• Using the sentences from slide three, the truth of ‘A or B’ can be determined if we know the truth value of A and the truth value of B.• If Al doesn’t admire aardvarks and Barb doesn’t bake bologna then ‘A or B’ is false. Otherwise it’s true.• We’ll symbolize the truth functional (inclusive) ‘or’ with a wedge ‘ ’ and we’ll call the resulting sentences disjunctions. The parts are disjuncts.
  • Truth Table for Disjunction• The four possibilities for A B A B sentences A and B are T T T represented by the left two (vertical) columns. T F T• The top row of Ts and Fs is the F T T possibility where A is true and F F F B is true. On that possibility ‘A B’ is true.• The bottom row is the possibility where A and B are both false. In that case ‘A B’ is also false.• Disjunction differs from conjunction on the middle two rows.
  • Examples• Lenny and Manny left for Bermuda. (L=Lenny left for Bermuda. M=Manny left for Bermuda.) Translation: L&M• Either Lenny or Manny left for Bermuda. Translation: L M• Lenny left for Bermuda and either Manny left for Bermuda or Nancy stayed. (N=Nancy stayed.) Translation: L&(M N)• Lenny left for Bermuda but Manny did too. Translation: L&M• Either Manny left for Bermuda and Nancy stayed or else Lenny left for Bermuda. Translation: (M&N) L
  • Negation• Prefixing a statement with ‘it is A A not the case that’ flips the T F truth value. F T• The symbol to represent that truth function is ‘ ’. The symbol is called ‘tilde’ or just ‘squiggle’.• Unlike the other connectives, tilde doesn’t connect two sentences. It just flips the value of a single sentence.• Also unlike the other connectives, we don’t usually put parenthesis around a negation.
  • Examples• Manny left but Lenny did not leave. Translation: M& L• Either Nancy did not stay and Lenny left or Manny didn’t leave. Translation: ( N&L) M• Neither Lenny nor Manny left. Translation: (L M) [Alternate Translation: L& M]• It’s not true that both Manny and Lenny left. Translation: (M&L) [or M L]
  • If..Then…• Some uses of ‘if..then…’ are truth functional and some are not. We’ll only care about the truth functional ones.• Consider: If you whistle loudly then the dog will come. There’s really just one scenario that shows the sentence to be false: whistle loudly and have the dog not come. If you whistle and the dog comes then the sentence was true. If you don’t whistle then no matter whether the dog comes or not, you didn’t show the sentence wrong.
  • Truth Table for Conditional• We’ll use the arrow ⟶ A B A⟶B (or the horseshoe ) to T T T represent the truth T F F functional ‘if...then…’; F T T and we’ll call statements F F T formed with the arrow (or the horseshoe) ‘conditionals.’• The top two rows of the truth table for conditional are uncontroversial. The bottom two are less obvious.
  • Order Matters• Notice on the table that the order of A and B matter. A true and B false yields a different value than A false and B true. So, unlike conjunction and disjunction where order doesn’t matter, we have a different names for the different parts of the conditional.• For A⟶B, A is called the ‘antecedent’ and B is called the ‘consequent’.• There are many English expressions that can be translated as conditionals. The trick to symbolizing them correctly is to identify the antecedent and the consequent.
  • Examples of Conditionals• Lenny left if Manny left. Translation: M⟶L• Lenny left only if Manny left. Translation: L⟶M [Think about this one.]• Lenny left in case Manny left. Translation: M⟶L• Lenny left provided that Manny left. Translation: M⟶L• Lenny left unless Manny left. Translation: M⟶L• Whenever Lenny leaves, Manny leaves. Translation: L⟶M
  • If and Only If• ‘A only if B’ is translated A⟶B because when we say ‘A only if B’ we are saying that A can’t be true without B; so, if A is true then so is B. Hence, A⟶B.• ‘A if B’ is the same as ‘if B then A and so is translated B⟶A.• So, if we say ‘A if B and A only if B’ or in other words ‘A if and only if B’ we could translate that as ‘(B⟶A)&(A⟶B)’. We’ll use the double arrow ⟷ (or the triple bar ) as an abbreviation for that. Also, we’ll call sentences formed by using the double arrow ‘biconditionals’.• Sometimes you see ‘iff’ between two sentences. It’s not a typo. It’s an abbreviation for ‘if and only if.’ So ‘A iff B’ would be translated as ‘A⟷B’.
  • Truth Table for Biconditional• Think of the biconditional as A B A⟷B saying that two sentences have matching truth value. The longer T T T sentence is true when both parts T F F are true or when both parts are false. F T F• Notice that order doesn’t matter; F F T so we don’t have special names for the letter that comes first. Unlike regular conditional, A⟷B is equivalent to B⟷A.• The sentence ‘A⟷B ‘is just an abbreviation for the more complicated sentence ‘(B⟶A)&(A⟶B)’ so next I’ll show you where the values in the table to the right came from.
  • Justification for the Biconditional Table• The table gives the value of A B (B⟶A) & (A⟶B) ‘(B⟶A)&(A⟶B)’ in each of the four possibilities for A and B. T T T T T• The left two columns list the T F T F F possibilities for A and B. F T F F T• The sentence we care about is a conjunction of two conditionals. F F T T T To figure out its truth value we need to know the truth value of the conditionals. Then we can use it to figure out the truth value of the conjunction.• The 3rd column gives the values for B⟶A and the 5th column gives values for A⟶B. The 4th column was computed last using the values from columns 3 and 5.