Задача на логику про маршрутное такси.

[lampard]

Если в марш­рут­ном такси за­ня­ты все места, то оно тро­га­ет­ся от оста­нов­ки. Вы­бе­ри­те утвер­жде­ния, ко­то­рые сле­ду­ют из при­ведённых дан­ных.
1) Если в марш­рут­ке есть сво­бод­ные места, то она не тро­га­ет­ся
2) Если марш­рут­ка про­дол­жа­ет сто­ять, то в ней оста­лись сво­бод­ные места
3) Если на каж­дом месте марш­рут­ки сидит пен­си­о­нер, то она тро­га­ет­ся от оста­нов­ки
4) Если марш­рут­ка отъ­е­ха­ла от оста­нов­ки, то в ней за­ня­ты все места

У меня что-то ответ не сходится. У меня ответ -- все следуют, а правильный ответ 2,3. А почему 1,4 не следуют?

1) и 4) Ведь если маршрутка будет трогаться, когда есть свободные места, то не наступит момента, когда все места заняты, чтобы она смогла тронутся. Ясно, что в фразе "Если в марш­рут­ном такси за­ня­ты все места, то оно тро­га­ет­ся от оста­нов­ки." не написано, что будет, если какие-то места будут свободны и наступит ли этот момент, когда все заняты, значит в таких ситуациях может быть все что угодно?

[Mihr]

1) Утверждения "Если A, то B" и "Если не-A, то не-B" отнюдь не равносильны (не получаются друг из друга тождественными преобразованиями формул алгебры логики; имеют разные таблицы истинности). И ни одно из них не является следствием другого.
4) Аналогично, утверждения "Если A, то B" и "Если B, то A" не равносильны, и ни одно из них не является следствием другого.

P.S. Менее формально: известно лишь, что если все места заняты, маршрутка трогается. По поводу того, что происходит, когда не все места заняты, ничего не сказано. Возможно, водитель махнёт рукой и поедет с "неполным комплектом" пассажиров. Особенно, если торопится.

[TOTAL]

(Оффтоп)

lampard в сообщении #1001551 писал(а):

3) Если на каж­дом месте марш­рут­ки сидит пен­си­о­нер, то она тро­га­ет­ся от оста­нов­ки

Это был огромный пенсионер, занял сразу все места и заставил водителя тронуться.

[lampard]

Спасибо, понятно!

[Mihr]

(Оффтоп)

TOTAL в сообщении #1001557 писал(а):

Это был огромный пенсионер, занял сразу все места и заставил водителя тронуться

...умом. От страха.

[AGu]

(Оффтоп)

Mihr в сообщении #1001561 писал(а):

TOTAL в сообщении #1001557 писал(а):

Это был огромный пенсионер, занял сразу все места и заставил водителя тронуться

...умом. От страха.

Нет, написано же — от остановки.
(А остановка наверняка была жутковатой. С таким-то пенсионером. От такой остановки любая маршрутка долго отходить будет.)

P.S. Я не виноват! Это TOTAL начал.