|
|
|
|
|
|
|
|
|
Converse.
|
If p and q are two logical propositions, then the converse of the proposition (p → q) is the proposition (q → p).
|
|
Proposition, английский
- N лог., лнгв. сужде- ние, пропозиция3 affirmative ~ утвердительное суждение
- Предложение; суждение; предположение; высказывание; фраза
- Разг. человек, с которым ведутся дела pro – pul
|
Iff, if and only if, ↔, английский
If p and q are two logical propositions, then(p ↔ q) is a proposition that is true when both p and q are true, and when both p and q are false. it is logically equivalent to the proposition
Contrapositive., английский
If p and q are two logical propositions, then the contrapositive of the proposition (p → q) is the proposition ((! q) → (!p) ). the contrapositive is logically equivalent to the original proposition.
|
|
|
|
|
|
|
