Если из высказывания S1 следует S2 и, наоборот, из S2 следует S1, то высказывания S1 и S2 являются эквивалентными.

Давайте разберем это утверждение более подробно:

1. Определение эквивалентности: Два высказывания S1 и S2 считаются эквивалентными, если они имеют одинаковую истинность. То есть, в любой ситуации, когда одно из них истинно, другое также истинно, и наоборот.
2. Следование высказываний: Если мы говорим, что из S1 следует S2, это означает, что в случае, когда S1 истинно, S2 также должно быть истинным. Аналогично, если из S2 следует S1, то в случае, когда S2 истинно, S1 также должно быть истинным.
3. Комбинирование: Если оба условия выполняются (S1 следует S2 и S2 следует S1),это означает, что оба высказывания всегда имеют одинаковую истинность. Таким образом, они эквивалентны.

В заключение, если S1 и S2 следуют друг из друга, то можно с уверенностью сказать, что они являются эквивалентными.