646. Формула логики высказываний, дающая истинное высказывание при любых подстановках в нее конкретных высказываний, называется:
• тавтологией
647. Формула: ( ( p → q ) ¨ p ) → q классической логики выражает суждение:
• логической модальности (тождественно истинное высказывание)
648. Формула: ( ( p → q ) ¨ ù q ) → ù p классической логики выражает суждение:
• логической модальности (тождественно истинное высказывание)
649. Формула: ¨ А «ù ¸ ù А выражает закон модальной логики:
• необходимо, что А тогда, и только тогда, когда невозможно, что не-А
650. Формула: ¨ А → А выражает закон модальной логики:
• если необходимо, что А, то А
651. Формула: ¸ А «ù ¨ ù А выражает закон модальной логики:
• возможно, что А тогда, и только тогда, когда не необходимо, что не-А
652. Формула: p ¨ ù p классической логики выражает суждение:
• логической модальности (закон исключенного третьего)
653. Формула: p « p классической логики выражает суждение:
• логической модальности (закон тождества)
654. Формула: ù ( p ¨ ù p ) классической логики выражает суждение:
• логической модальности (закон противоречия)
655. Формула: А → ¸ А выражает закон модальной логики:
• если А, то возможно, что А
656. Формулирование оснований правил и рекомендаций, следуя которым можно достичь истины, является целью
• законов логики
657. Формулировка "всякое верное положение должно быть обоснованным" определяет логический закон
• достаточного основания
658. Формулировка "если есть два суждения, из которых одно оказывается отрицанием второго, то одно (и только одно) из них является истинным" выражает логический закон
• исключенного третьего
659. Формулировка "неверно, что некоторое суждение и его отрицание" одновременно истинны выражает логический закон
• противоречия
660. Формы мышления и операции с ними, к которым относятся и в которых реализуются законы, нормы и принципы правильного мышления: непротиворечивости, последовательности, доказательности и принцип тождества, являются предметом изучения
• формальной логики
