Дипломная работа - Ответы на вопросы по логике

Отрицание – логическая операция, превращающая истинное высказывание в ложное, а ложное высказывание в истинное. Конъюнкция – логическая операция, объединяющая высказывания в такое новое высказывание, которое является истинным, если каждое из составляющих его высказываний истинно, и является ложным, если хотя бы одно из составляющих его высказываний ложно. Дизъюнкция делится на слабую и сильную дизъюнкцию. Слабая дизъюнкция – логическая операция, объединяет высказывания в такое новое высказывание, которое является истинным, если хотя бы одно из его составляющих истинно, и является ложным, лишь, когда все его составляющие ложны. Сильная дизъюнкция – логическая операция, объединяющая высказывания в такое новое высказывание, которое является истинным, когда лишь одно из его составляющих является истинным, и является ложным во всех остальных случаях. Импликация – логическая операция, объединяющая два высказывания в такое новое высказывание, которое является ложным при истинности первого высказывания и ложности второго высказывания, во всех остальных случаях новое выказывание истинно. Это число равно 10, либо не равно 10. А А Импликация. 2. Умозаключение – это рассуждение, в ходе которого переходят от известных знаний, которые называются посылками, - к новому знанию, которое называется заключением. Типы умозаключений. Чисто условное умозаключение – умозаключение, в котором и посылки, и заключение являются импликативными, или условными, высказываниями. Условно-категорическое умозаключение – умозаключение, в котором одна посылка является импликативным, или условным высказыванием, но другая посылка и заключение являются простыми высказываниями или их отрицаниями. Разделительно-категорическое умозаключение – умозаключение, в котором одна посылка является дизъюнктивным высказыванием, а другая посылка и заключение являются простыми высказываниями (категорическими суждениями) или их отрицаниями. Если в лесу за ночь появятся свежие следы, то утром можно отпра ...