compound
Chat with our AI personalities
irony
by switching the truth values of the hypothesis and conclusion, it is called the contrapositive of the original statement. The contrapositive of a true conditional statement will also be true, while the contrapositive of a false conditional statement will also be false.
Conditional ConnectivesThe statement `if p then q' is called a conditional statement and is written logically as p ! q.(This asserts that the truth of p guarantees the truth of q.)p ! q can also be read as `p implies q', where p is sometimes called the antecedent and qtheconsequent.Examples:p: It is raining.q: I get wet.p ! q: If it is raining, then I get wet.s: It is Sunday.w: I have to work today.s ! w: If it is Sunday, then I have to work today.»s ! w: If it is not Sunday, then I have to work today.s !»w: If it is Sunday, I do not have to work today.(s ^ p) !»w: If it is Sunday and it's raining, then I don't have to work today.To examine the truth or falsity of p ! q, suppose p and q are the following propositionsp: I win the lottery,q: I will buy you a car.Then p ! q is the statement `If I win the lottery, then I will buy you a car'.
This question is unanswerable. How can a "statement of truth" be made which "is not true". Truth does not change. It cannot be that something was true when it was said and later it became untrue.
An axiom