text: Формула: А → ¸ А выражает закон модальной логики:
option_a: Если необходимо, что А, то А
option_b: Необходимо, что А тогда, и только тогда, когда невозможно, что не-А
option_c: Возможно, что А тогда, и только тогда, когда не необходимо, что не-А
option_d: Если А, то возможно, что А
subject: Логика