Ответы на вопросы по логике

  • Просмотров 3081
  • Скачиваний 178
  • Размер файла 14
    Кб

1.                 Высказывание (сложное суждение) – рассуждение, состоящее из нескольких простых высказываний, каждое из которых может быть или истинным, или ложным. Логические операции это отрицание конъюнкция, дизъюнкция, импликация и др. Отрицание – логическая операция, превращающая истинное высказывание в ложное, а ложное высказывание в истинное. Конъюнкция – логическая операция,

объединяющая высказывания в такое новое высказывание, которое является истинным, если каждое из составляющих его высказываний истинно, и является ложным, если хотя бы одно из составляющих его высказываний ложно. Дизъюнкция делится на слабую и сильную дизъюнкцию. Слабая дизъюнкция – логическая операция, объединяет высказывания в такое новое высказывание, которое является истинным, если хотя бы одно из его составляющих

истинно, и является ложным, лишь, когда все его составляющие ложны. Сильная дизъюнкция – логическая операция, объединяющая высказывания в такое новое высказывание, которое является истинным, когда лишь одно из его составляющих является истинным, и является ложным во всех остальных случаях. Импликация – логическая операция, объединяющая два высказывания в такое новое высказывание, которое является ложным при истинности

первого высказывания и ложности второго высказывания, во всех остальных случаях новое выказывание истинно. Это число равно 10, либо не равно 10. А ÚùА Импликация. 2.                 Умозаключение – это рассуждение, в ходе которого переходят от известных знаний, которые называются посылками, - к новому знанию, которое называется заключением. Типы умозаключений. Чисто условное

умозаключение – умозаключение, в котором и посылки, и заключение являются импликативными, или условными, высказываниями. Условно-категорическое умозаключение – умозаключение, в котором одна посылка является импликативным, или условным высказыванием, но другая посылка и заключение являются простыми высказываниями или их отрицаниями. Разделительно-категорическое умозаключение – умозаключение, в котором одна посылка