q p r s t u v w x y z are the alphabets for logic branch of mathematics in fact logic and geometry help each other a lot
Chat with our AI personalities
noncoplaner
Converse: If p r then p q and q rContrapositive: If not p r then not (p q and q r) = If not p r then not p q or not q r Inverse: If not p q and q r then not p r = If not p q or not q r then not p r
Not sure I can do a table here but: P True, Q True then P -> Q True P True, Q False then P -> Q False P False, Q True then P -> Q True P False, Q False then P -> Q True It is the same as not(P) OR Q
P . . Q . . (P or Q)0 . . 0 . . . 00 . . 1 . . . 11 . . 0 . . . 11 . . 1 . . . 1=================P . . Q . . NOT(P and Q)0 . . 0 . . . . 10 . . 1 . . . . 11 . . 0 . . . . 11 . . 1 . . . . 0
It is an if and only if (often shortened to iff) is usually written as p <=> q. This is also known as Equivalence. If you have a conditional p => q and it's converse q => p we can then connect them with an & we have: p => q & q => p. So, in essence, Equivalence is just a shortened version of p => q & q => p .