76. Предполагая, что А – ложное высказывание, определите, пользуясь таблицами истинности, какое из приведенных сложных высказываний будет истинным?
а) А v А;
б) ~(А —> А);
в) А —> (~(~ А)). (верно)
77. Предполагая, что А – истинное высказывание, В – ложное, определите, пользуясь таблицами истинности, какое из сложных высказываний будет истинным?
а) (А & В) —> А; (верно)
б) А —> ~ (В —> А);
в) А —> ~ (А v В).
78. Предполагая, что А – ложное высказывание, В – истинное, определите, пользуясь таблицамиистинности, какое из сложных высказываний будет истинным?
а) (А —> (В & ~ В)) —> ~ А; (верно)
б) (А —> В) —> А;
в) ~А —> (А & В).
79. О каком из законов логики математик Д. Гильберт говорил, что отнять этот закон у математиков – это то-же самое, что забрать у астрономов телескоп или запретить боксерам пользоваться кулаками?
а) закон противоречия;
б) закон исключенного третьего; (верно)
в) закон двойного отрицания
80. Среди предложенных символических записей выберите ту, которая соответствуетзакону тождества:
а) А —> А; (верно)
б) (А —> ~А) —> В;
в) (А & ~ А) —> В.