1 / 57

Practice

Practice. ~B  ((B  D)  D) tf-true? (M  ~N) & (M  N) tf-false? (B H) & (B  ~H) tf-false, true or indeterminate? (C & (B A)) and ((C&B)  A) tf-equivalent? {B&F, ~(B&G)}  G ?. Symbolization techniques. Identify component propositions.

deva
Télécharger la présentation

Practice

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Practice ~B  ((BD)  D) tf-true? (M  ~N) & (M  N) tf-false? (BH) & (B~H) tf-false, true or indeterminate? (C & (BA)) and ((C&B)  A) tf-equivalent? {B&F, ~(B&G)}  G ?

  2. Symbolization techniques Identify component propositions

  3. Symbolization techniques Identify component propositions The rent is due, and I have no money.

  4. Symbolization techniques Identify component propositions The rent is due, and I have no money. The rent is due. I have no money.

  5. Symbolization techniques Identify component propositions If the cat’s away, the mice will play.

  6. Symbolization techniques Identify component propositions If the cat’s away, the mice will play. The cat is away (C) The mice will play (M)

  7. Symbolization techniques Identify component propositions If the cat’s away, the mice will play. The cat is away (C) The mice will play (M) C  M

  8. Symbolization techniques Identify component propositions Either the guest of honour wore brown, or he fell in the mud on the way to the party.

  9. Symbolization techniques Identify component propositions Either the guest of honour wore brown, or he fell in the mud on the way to the party. The guest of honour wore brown (B) The guest of honour fell in the mud on the way to the party (M)

  10. Symbolization techniques Identify component propositions Either the guest of honour wore brown, or he fell in the mud on the way to the party. The guest of honour wore brown (B) The guest of honour fell in the mud on the way to the party (M) B  M

  11. Symbolization techniques Identify component propositions Sue and Tim are happy

  12. Symbolization techniques Identify component propositions Sue and Tim are happy Sue is happy (S) Tim is happy (T) S & T

  13. Symbolization techniques Identify component propositions Sue and Tim are happy, and they are throwing a party.

  14. Symbolization techniques Identify component propositions Sue and Tim are happy, and they are throwing a party. Sue is happy (S) Tim is happy (T)

  15. Symbolization techniques Identify component propositions Sue and Tim are happy, and they are throwing a party. Sue is happy (S) Tim is happy (T) Sue is throwing a party. (S1) (?) Tim is throwing a party. (T1) (?) They are throwing a party. (P) (?)

  16. Symbolization techniques Identify component propositions Sue and Tim are happy, and they are throwing a party. Sue is happy (S) Tim is happy (T) Sue is throwing a party. (S1) (?) Tim is throwing a party. (T1) (?) They are throwing a party. (P) (?) (S&T) & (S1 & T1) (S&T) & P

  17. Symbolization techniques Identify component propositions Sue and Tim are getting married.

  18. Symbolization techniques Identify component propositions Sue and Tim are getting married. M S & T

  19. Symbolization techniques Conjunction An explicit form of a conjunction: Sue is happy and Tim is happy – S & T

  20. Symbolization techniques Conjunction An explicit form of a conjunction: Sue is happy and Tim is happy – S & T These are also conjunctions: A but B A however B A although B A nevertheless B A nonetheless B A moreover B

  21. Symbolization techniques Conjunction An explicit form of a conjunction: Sue is happy and Tim is happy – S & T These are also conjunctions: A but B A however B A although B A nevertheless B A nonetheless B A moreover B She is poor, but honest. (P&H) A disjunction has two components, while a negation has only one. (D&N)

  22. Symbolization techniques She is poor (P) It is true that she is poor (P) She certainly is poor (P) She certainly is poor (P) She certainly is poor (P)

  23. Symbolization techniques Negation Explicit form: It is not the case that ...

  24. Symbolization techniques Negation Explicit form: It is not the case that ... It is not the case that the temperature is rising

  25. Symbolization techniques Negation Explicit form: It is not the case that ... It is not the case that the temperature is rising The temperature is rising (R)

  26. Symbolization techniques Negation Explicit form: It is not the case that ... It is not the case that the temperature is rising (~R) The temperature is rising (R)

  27. Symbolization techniques Negation Explicit form: It is not the case that ... It is not the case that the temperature is rising (~R) The temperature is rising (R) It is false that the temperature is rising The temperature is not rising

  28. Symbolization techniques Disjunction Explicit form: Either … or …

  29. Symbolization techniques Disjunction Explicit form: Either … or … She’s either a lunatic or a genius.

  30. Symbolization techniques Disjunction Explicit form: Either … or … She’s either a lunatic or a genius. Either she is a lunatic, or she is a genius L  G

  31. Symbolization techniques Material Conditional Explicit form: If …, then…

  32. Symbolization techniques Material Conditional Explicit form: If …, then… These are also conditionals equivalent to ‘If A, then C’ (AC): If A, C C, if A C, provided that A C, given A A only if C

  33. Symbolization techniques Material Conditional Explicit form: If …, then… These are also conditionals equivalent to ‘If A, then C’ (AC): If A, C C, if A C, provided that A C, given A A only if C If these shoes go on sale, I’ll buy two pairs S  B

  34. Symbolization techniques Material Conditional Explicit form: If …, then… These are also conditionals equivalent to ‘If A, then C’ (AC): If A, C C, if A C, provided that A C, given A A only if C Only ifs I will go camping this weekend if I finish my work I will go camping this weekend only if I finish my work

  35. Symbolization techniques Material Conditional Explicit form: If …, then… These are also conditionals equivalent to ‘If A, then C’ (AC): If A, C C, if A C, provided that A C, given A A only if C Only ifs I will go camping this weekend if I finish my work I will go camping this weekend only if I finish my work If you buy a ticket, you will win the lottery Only if you buy a ticket, you will win the lottery

  36. Symbolization techniques Material Conditional Explicit form: If …, then… These are also conditionals equivalent to ‘If A, then C’ (AC): If A, C C, if A C, provided that A C, given A A only if C Only ifs I will go camping this weekend if I finish my work F  C I will go camping this weekend only if I finish my work C  F If you buy a ticket, you will win the lottery T  W Only if you buy a ticket, you will win the lottery W  T

  37. Symbolization techniques Material Biconditional Explicit form: … if and only if …

  38. Symbolization techniques Material Biconditional Explicit form: … if and only if … If a conjunction is true, then both conjuncts are true (C  B) A conjunction is true only if both conjuncts are true (B  C)

  39. Symbolization techniques Material Biconditional Explicit form: … if and only if … If a conjunction is true, then both conjuncts are true (C  B) A conjunction is true only if both conjuncts are true (B  C) If a conjunction is true, then both conjuncts are true, and it is true only if both conjuncts are true ( (C  B) & (B  C) )

  40. Symbolization techniques Material Biconditional Explicit form: … if and only if … If a conjunction is true, then both conjuncts are true (C  B) A conjunction is true only if both conjuncts are true (B  C) If a conjunction is true, then both conjuncts are true, and it is true only if both conjuncts are true ( (C  B) & (B  C) ) Both conjuncts are true if and only if the conjunction is true ( B  C )

  41. Symbolization techniques Material Biconditional Explicit form: … if and only if … Sue is married to Tim if and only if Tim is married to Sue ( S  T )

  42. Symbolization techniques Material Biconditional Explicit form: … if and only if … These are also biconditionals equivalent to A  B: A if but only if B A just in case B

  43. Symbolization techniques Neither… nor… explicit form: both it is not the case that A and it is not the case that B: ~A & ~B

  44. Symbolization techniques Neither… nor… explicit form: both it is not the case that A and it is not the case that B: ~A & ~B Neither Sue not Tim are throwing a party ~S & ~T

More Related