Logic and Geometry are both about developing good arguments or proofs that something is true or false.Logic The Conditional and Related Statements Resources: HRW Geometry, Lesson 12.3.This is because, based on the example above, it says “it does not rain today” and the “road is not wet.” So, obviously, the conditional statement is true. Even if it does not rain, the road may still be wet because, for example, a fire truck passes by and spills water on the road.Lastly, the fourth row in the truth table above says p is false and q is false. This is because if it is false that it rains today (in other words, it does not rain today), it does not necessarily follow that the road is dry. The third row says p is false and q is true. Again, it is impossible for the road not to get wet if it rains. This is because if it is true that “it rains today” then it must necessarily follow that “the road is wet.” However, it is said that q is false, that is, the road is not wet hence, the conditional statement is false. The second row says that p is true and q is false. This is because, if it is true that “it rains today,” then it must also be true that “the road is wet.” Now, the first row in the truth table above says that p is true and q is true. If p is false and q is false, then p ⊃ q is true.Īs we can see, the rules in If-then statements or conditional statements say that the only instance wherein the conditional statement becomes false is when the antecedent is true and the consequent false.If p is false and q is true, then p ⊃ q is true.If p is true and q is false, then p ⊃ q is false.If p is true and q is true, then p ⊃ q is true.The truth table below illustrates this point. Thus, other than this form, the If-then statement is true.An If-then statement is false if the antecedent is true and the consequent false.Again, since q is our antecedent and p is our consequent, and since in symbolizing if-then statement we need to write the antecedent first and then the consequent, so the statement “ The painting must be very expensive if it was painted by Michelangelo” is symbolized as follows: The variable p stands for the statement “ The painting must be very expensive” and q stands for the statement “ It was painted by Michelangelo”. By the way, please note that the variables provided after the statement represent the statements in the entire statement respectively. Please note that we symbolized the statement “ The painting must be very expensive if it was painted by Michelangelo” as q ⊃ p because in symbolizing if-then or conditional statements, we always write the antecedent first and then the consequent. Now, if we let p stand for “ The painting must be very expensive” and q for “ It was painted by Michelangelo”, then statement “ The painting must be very expensive if it was painted by Michelangelo” is symbolized as follows: If we analyze the statement, it is clear that the antecedent is “ It was painted by Michelangelo” and the consequent is “ The painting must be very expensive”. The painting must be very expensive if it was painted by Michelangelo. If this happens, then we have to symbolize the statement accordingly. It is equally important to note that sometimes the antecedent is stated after the consequent. If we let p stand for the statement “Provided that the catalyst is present” and q for “The reaction will occur”, then the statement is symbolized as follows: If the catalyst is present, then the reaction will occur. Thus, the statement can be stated as follows: If we analyze the statement, it is very clear that it is conditional because it suggests a “cause and effect” relation. Provided that the catalyst is present, the reaction will occur. It is also important to note that there are cases wherein the words “ if…then” is not mentioned in the statement, yet it remains a conditional one. It is important to note that the statement that precedes the connective horseshoe ( ⊃) is called the “antecedent” and the proposition that comes after it is called “consequent.” Hence, in the example above, the antecedent is “The company closes down”, while the consequent is “Obviously many workers will suffer”. If we use the greater-than symbol, then the statement above is symbolized as follows: If we let p stand for the statement “The company closes down” and q for the statement “Obviously many workers will suffer”, then the conditional statement is symbolized as follows: If the company closes down, then obviously many workers will suffer. In some cases, logicians used the mathematical symbol “greater-than” ( >) instead of a horseshoe. Logicians usually used horseshoe ( ⊃) as the symbol for “if…then”. An if-then statement or conditional statement is a type of compound statement that is connected by the words “ if…then”.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |