Stærðfræðimynstur í tölvunarfræði
Additionl comments
More on implications
You can write the implication p -> q in several different
ways in english. Below are some possibilities.
- if p then q.
- if p, q.
- p only if q.
- p only when q.
- p is neccessary for q.
- p leads to q.
- q is sufficient for p.
- q if p.
- q whenever p.
Not all the version are applicable in all cases and more ways can probably
be found to write implications.
The biconditional p <-> q can also be written in several ways:
- p if and only if q.
- p iff q.
- p is equivalent to q.
- p when and only when q.
- p is neccessary and sufficient for q.
hh (hja) hi.is, August 31st, 2005.