г) Проводник нагревается, когда через него проходит электрический ток.
д) Окружающий нас мир либо познаваем, либо нет.
е) Или же он совершенно бездарен, или же полный лентяй.
ж) Когда человек льстит, он лжет.
з) Вода превращается в лед лишь при температуре от нуля градусов по Цельсию и ниже.
и) Две прямые, лежащие в одной плоскости, не имеют общих точек только тогда, когда они параллельны. к) Вместо того, чтобы пойти в школу, он пошел гулять. л) Английский язык можно изучать либо в школе, либо на курсах, либо с репетитором, либо самостоятельно. м) То ли в мире действует всеобщая закономерность, то ли всеобщая случайность.
н) Он не готовился к занятиям или систематически прогуливал их.
о) Чем дальше в лес, тем больше дров.
п) Деревья качаются, потому что дует ветер.
р) Хотя на море разыгрался шторм, корабль неуклонно двигался своим курсом.
с) Глаза боятся, а руки делают.
т) Если с утра шел дождь, то к полудню прояснилось.
22. От чего зависит истинность сложных суждений? Какие значения истинности принимают конъюнкция, нестрогая и строгая дизъюнкция, импликация, эквиваленция и отрицание в зависимости от всех наборов истинностных значений входящих в них простых суждений?
23. Что представляет собой логическая процедура формализации высказывания или рассуждения? Придумайте какое-нибудь рассуждение и совершите его формализацию. Формализуйте следующие рассуждения.
а) Если какое-либо вещество является металлом, то оно электропроводно. Медь является металлом. Следовательно, медь электропроводна.
б) Известный английский философ Фрэнсис Бэкон жил в XVII веке или в XV веке, или в XIII веке. Фрэнсис Бэкон жил в XVII веке. Следовательно он не жил ни в XV веке, ни в XIII веке.
в) Если ты не упрям, то ты можешь изменить свое мнение. Если же ты можешь изменить свое мнение, то ты способен признать данное суждение ложным. Следовательно, если ты не упрям, то ты способен признать данное суждение ложным.
г) Если сумма внутренних углов геометрической фигуры равна 180° то такая фигура является треугольником. Сумма внутренних углов данной геометрической фигуры не равна 180°. Следовательно, данная геометрическая фигура не является треугольником.
д) Леса бывают хвойными или лиственными, или смешанными. Этот лес не лиственный и не хвойный. Следовательно, этот лес смешанный.
24. Что представляют собой тождественно-истинные формулы, тождественно-ложные и выполнимые? Что можно сказать о рассуждении, если результатом его формализации является тождественно-истинная формула? Каким будет рассуждение, если его формализация выражается тождественно-ложной формулой? Каковы, с точки зрения логической верности, рассуждения, которые при формализации приводят к выполнимым формулам?