Проверить правильность умозаключений методом от противного

Используя аппарат алгебры высказываний, запишем наши высказывания в виде выражений, использующих обозначения логических операций и простых высказываний.
Обозначения:
противоположные стороны четырехугольника попарно равны - a;
противоположные стороны четырехугольника попарно параллельны - b;
четырехугольник является параллелограммом - c.
Заданные суждения:
F1=c↔a∙b
F2=b→a
Умозаключение:
H=c↔b
Пусть H=c↔b=0, тогда c=0, b=1 или c=1, b=0
Если F1=c↔a∙b=1:
Если c=0, b=1:
0↔a∙1=1
a=0
Тогда F2=b→a=1→0=0
Если c=1, b=0:
1↔a∙0=1
Нет решений
Отсюда следует, что умозаключение правильное.