Download presentation
Presentation is loading. Please wait.
Published byDwight Carroll Modified over 5 years ago
1
Recall that if the antecedent (LHS) of a conditional statement is true, then it will be true if and only if its consequent (RHS) is also true. Therefore, when we are given an argument whose conclusion is a conditional statement, if we assume the LHS of the conclusion is true and we are able to show that under this assumption its RHS is true, we will have shown that the argument is valid. This is the conditional proof strategy. It may only be used if the conclusion is a conditional sttement.
2
The RHS is forced to be TRUE. Therefore, the argument is valid.
ASSUME LHS is TRUE The RHS is forced to be TRUE. Therefore, the argument is valid.
3
T F HMMMMMMMMMMM T T
4
CONDITIONAL CONCLUSION….
F AAAAAAAAAHHHHHHHH CONDITIONAL CONCLUSION…. ASSUME THE LHS is TRUE T T
5
T F F F T F T F F T T T T T
8
We will do the odd numbered ones in class
We will do the odd numbered ones in class. You can do the even numbers for extra practice.
9
We will do the odd numbered ones in class
We will do the odd numbered ones in class. You can do the even numbers for extra practice.
11
ACP
12
ACP
13
ACP
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.