Относительно высказывания P => Q располагаем следующей информацией. Факт 1. Если P ложно, то P => Q автоматически истинно. Факт 2. Если Q истинно, то P => Q автоматически истинно. Факт 3. Высказывание P => Q может быть ложно в том и только в том случае, если P истинно, а Q ложно. Факт 1 иногда формулируют иначе: "Из ложного высказывания следует что угодно". Такое утверждение вызывает у некоторых философов самые решительные возражения. Факт 2 иногда формулируют так: "Истинное высказывание следует из чего угодно".