Контрольная работа на тему Контрольная работа 140510-07

Задание 11

Определите истинностное значение сложных высказываний при условии, что а – истинное высказывание, в – ложное:
а) (а?в)>а
б) (а?в)>а
в) а>(а?в)
г) (а>в)>а

Варианты «а», «б», «г»:
Главный логический знак данных высказываний – импликация. Импликация ложна только тогда, когда консеквент ложный, во всех остальных случаях импликация истинна. Консеквент обозначен переменной а «истинно». Следовательно, независимо от того, какое значение примет антецедент (в случае «а» – дизъюнкция, «б» – конъюнкция, «г» – импликация), все высказывание принимает значение «истинно».
Вариант «в»:
Главный логический знак данного высказывания также импликация. Импликация ложна только тогда, когда консеквент ложный, во всех остальных случаях импликация истинна. Консеквент данного высказывания – конъюнктивное суждение. Конъюнктивное суждение истинно только тогда, когда истинны оба его члена. По условиям задачи а истинно, в – ложно, следовательно, конъюнкция ложна, т.е. и консеквент ложный. Следовательно все высказывание принимает значение «ложно».
Задание 12

Установите вид суждений в объединенной классификации:
а) «каждому известно, что даже хорошие условия для