1. Закон … утверждает, что противоречащие друг другу суждения не могут быть одновременно истинными.
a) тождества
b) непротиворечия
c) клавия
d) двойного отрицания
2. Закон … утверждает, что если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого.
a) Дунса Скота
b) Де Моргана
c) контрапозиции
d) транзитивности
3. Закон … утверждает, что если из одного высказывания вытекает второе, а из второго – третье, то из первого вытекает третье.
a) Дунса Скота
b) Де Моргана
c) контрапозиции
d) транзитивности
4. Закон … утверждает, что отрицание конъюнкции равнозначно дизъюнкции отрицаний двух конъюнктов.
a) Дунса Скота
b) Де Моргана
c) контрапозиции
d) транзитивности
5. Закон … утверждает, что если из одного высказывания вытекает второе, а из него – третье, то и из первого высказывания вытекает третье.
a) Дунса Скота
b) Де Моргана
c) контрапозиции
d) транзитивности
6. Закон … утверждает, что из заведомо ложного высказывания вытекает любое высказывание
a) Дунса Скота
b) Де Моргана
c) контрапозиции
d) транзитивности
7. Закон … утверждает, что если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным
a) тождества
b) непротиворечия
c) клавия
d) двойного отрицания