Cтраница 1
Условное высказывание в содержат, мышлении отличается тем, что ( I) предполагает связь но смыслу ( содержанию) между антецедентом ( посылкой, основанием условного высказывания) и коисеквентом ( его следствием, заключением) и ( 1) не может быть истинным, если при истинности антецедента конссквент является ложным. [1]
В логике условное высказывание если Р, то Q принято считать ложным только в том случае, когда предпосылка Р истинна, а заключение Q ложно. В любом другом случае оно считается истинным. [2]
При рассмотрении условного высказывания часто приходится принимать во внимание связь по смыслу между его антецедентом и консеквентом ( см. Консеквент и антецедент), к-рая во ми. Поэтому формализация каузальной связи, подразумеваемой в условном высказывании, является в какой-то мере и формализацией связи по смыслу. Один из способов формализации каузальной связи ( предложенный Берксом) состоит в присоединении к предикатов исчислению аксиом, определяющих новую логич. B) ID ( Ai B), но не справедлива формула ( А з В) гэ ( ALB) ( знак 1 означает К. [3]
Алгоритм с условными высказываниями тоже поддается технике доказательства. [4]
Докажите, что всякое условное высказывание устойчиво относительно пересечений. [5]
Следующий раздел посвящен логическим задачам, основанным на условных высказываниях вида Если Р истинно, то Q истинно. Высказывания Р и Q связаны между собой отношением импликации, правильная интерпретация которого имеет первостепенное значение для понимания исчисления высказываний. Смаллиан умело обыгрывает известные парадоксы импликации, а затем приводит 18 остроумных логических задач, непреодолимых для тех, кто не достиг уверенного владения законами логики. [6]
Диаграмма связей отклонений регулируемых параметров от заданных значений и скоростей их изменения с величинами управляющих воздействий. [7] |
Для каждого канала регулирования формулируются правила управления в виде условных высказываний. [8]
Важно изучить еще один тип логического оператора, результатом которого является условное высказывание. Примером такого высказывания является следующее: если завтра будет суббота, то сегодня - пятница. При определении истинностного значения условного высказывания, необходимо различать фактическую истину и логическую. [9]
Если даже доказываемое следствие некоторой системы посылок и не имеет формы условного высказывания, то применение описанного в предыдущем примере хода рассуждений может упростить вывод. В качестве иллюстрации этого положения мы вернемся к первому примеру, начав с наблюдения, что заключение C / D эквивалентно - С-D. Это наводит на мысль добавить - С в качестве посылки в расчете на то, что D можно вывести как следствие из этой и других посылок. Этим достигается некоторое преимущество, заключающееся в том, что добавляется простая исходная формула. [10]
Доказательство, ( i) Мы предоставляем читателю доказательство того факта, что всякое условное высказывание ( а потому и всякое множество условных высказываний) устойчиво относительно пересечений. [11]
Высказывание р устойчиво относительно пересечений тогда и только тогда, когда оно эквивалентно некоторому условному высказыванию. [12]
Доказательство, ( i) Мы предоставляем читателю доказательство того факта, что всякое условное высказывание ( а потому и всякое множество условных высказываний) устойчиво относительно пересечений. [13]
Условное высказывание в содержат, мышлении отличается тем, что ( I) предполагает связь но смыслу ( содержанию) между антецедентом ( посылкой, основанием условного высказывания) и коисеквентом ( его следствием, заключением) и ( 1) не может быть истинным, если при истинности антецедента конссквент является ложным. [14]
При рассмотрении условного высказывания часто приходится принимать во внимание связь по смыслу между его антецедентом и консеквентом ( см. Консеквент и антецедент), к-рая во ми. Поэтому формализация каузальной связи, подразумеваемой в условном высказывании, является в какой-то мере и формализацией связи по смыслу. Один из способов формализации каузальной связи ( предложенный Берксом) состоит в присоединении к предикатов исчислению аксиом, определяющих новую логич. B) ID ( Ai B), но не справедлива формула ( А з В) гэ ( ALB) ( знак 1 означает К. [15]