Conditional Compound Claim

This week’s discussion about compound claims was interesting, especially about conditionals and their contradictories. A claim is a conditional if it can be rewritten as an “if… then…” claim that must have the same truth-value. In a conditional (rewritten as) “If A, then B”, the claim A is the antecedent, and the claim B is the consequent. For contradictory of a conditional claim, it can be as follows: If A, then B has contradictory A but not B. I think of my computer programming class when I think of conditional claims because it is really straight forward when you program the direction for computer to look at events. One example is programming the computer to verify if a user has access to certain database. If a user can not log-in then a message would pop up and ask user to retry to log-in. On the other hand, the contradiction to this conditional claim would be if a user can not log-in and the message didn’t pop-up to ask user to retry log-in.