Chat with our AI personalities
A thing in order
then, later ,before, a few months later, when ,soon, at the moment, one day, whenever, afterwards, the next morning,after a while, pervioly, a few years later, just then, earlier, fowling after, first of all
Modus Ponens can be written in the following way symbolically:p --> qpTherefore qWhere the lowercase letters can be any statement, "-->" represents an arrow for a conditional statement, and use three dots arranged in a triangle to represent "therefore."
p = today is sunday q = the dish did not run away with the spoon r = grass is wet (a) p AND q (b) r OR q http://en.wikipedia.org/wiki/Boolean_operators
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'.