Гипотезы и логические следствия для эквиваленции (с решением)

Условие задания:

Найдите гипотезы и логические следствия для эквиваленции, или, что то же самое, для суждения двойного условия. Справка: гипотеза - сложное суждение, из которого следует эквиваленция; логическое следование - сложное суждение, которое само следует из эквиваленции. Следует - значит находится с суждением в отношении логического следования. Определения вам помогут.

Решение:

1. Международная безопасность

Общее, абстрактное, несобирательное, безотносительное, положительное

2. Закон не имеет обратной силы

Исходное понятие является отрицательным. Проведя операцию отрицания получим утвердительное суждение, противоположное первоначальному, а именно:

Отрицание: закон имеет обратную силу