90 likes | 100 Vues
(Single Sided) Trees. We are not going to cover the double sided tree method given in Chapter 11. In my opinion, double sided trees are harder to learn. (Single Sided) Trees. We are not going to cover the double sided tree method given in Chapter 11.
E N D
(Single Sided) Trees We are not going to cover the double sided tree method given in Chapter 11. In my opinion, double sided trees are harder to learn.
(Single Sided) Trees We are not going to cover the double sided tree method given in Chapter 11. Instead, I will cover Single Sided Trees. They are summarized in Appendix 4 (p. 233) and explained in your course packet in the section called “How to Make a Tree” Or Follow this link
(Single Sided) Trees We are not going to cover the double sided tree method given in Chapter 11. In my opinion it is harder to learn. Instead, I will cover Single Sided Trees. They are summarized in Appendix 4 (p. 233) and explained in your course packet in the section called “How to Make a Tree” Further information is given at www.miami.edu/phi/one-sided-trees or on your Prop Logic CD in the file: ch11a.txt
(Single Sided) Trees The truth table method can be very inefficient.
(Single Sided) Trees The truth table method can be very inefficient. Number of variables Number of rows in the table 2 4 3 8 4 16 5 32 6 64 7 128 8 256 9 512 10 1024 Exponential Growth!
The Basic Idea Counterexample A row of a table where the premises are (all) T and the conclusion is F.
The Basic Idea P T FTF QTTFF Q>-P | P>Q F TTT T TFT Counterexample Counterexample A row of a table where the premises are (all) T and the conclusion is F.
The Basic Idea P T FTF QTTFF Q>-P | P>Q F TTT T TFT Counterexample Counterexample A row of a table where the premises are (all) T and the conclusion is F. If we had known to calculate row 3, we would have needed to do only ¼ of the work.
The Basic Idea P T FTF QTTFF Q>-P | P>Q F TTT T TFT Counterexample Counterexample A row of a table where the premises are (all) T and the conclusion is F. The tree method helps us find counterexamples quickly and efficiently. For more click here