2.1.С. Вывод (импликация)

Если утверждение P подразумевает утверждение Q, то есть, если утверждение P является истинным, из чего следует, что и Q должно быть истинным, или если из заданного условия P следует условие Q, мы можем обозначить это как P ⇒ Q.

Если  P ⇒ Q и Q ⇒ P, обозначим это как P ⇔ Q.

Теория множеств механизма и гомеостаза

Перевод, комментарии © 2011—2012 Сергей Котов