Александр Ивин

Логика

Сообщить о появлении
Загрузите файл EPUB или FB2 на Букмейт — и начинайте читать книгу бесплатно. Как загрузить книгу?
  • Denis Martynoffцитирует2 года назад
    Если А, то В. Не-В. Следовательно, не-А.

    Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания. Например: «Если гелий – металл, он электропроводен. Гелий неэлектропроводен. Следовательно, гелий – не металл».
  • Denis Martynoffцитирует2 года назад
    Модусом толленсом называется следующая схема рассуждения:

    Если A, то B; неверно B

    Неверно A

    Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением.
  • Denis Martynoffцитирует2 года назад
    от подтверждения основания к подтверждению следствия рассуждать допустимо, от подтверждения следствия к подтверждению основания – нет
  • Denis Martynoffцитирует2 года назад
    Модус поненс и модус толленс

    «Модусом» в логике называется разновидность некоторой общей формы рассуждения
  • Denis Martynoffцитирует2 года назад
    Например: «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега»; «Сегодня холодно или сыро» означает «Неверно, что сегодня не холодно и не сыро»
  • Denis Martynoffцитирует2 года назад
    «А и В» означает «неверно, что не-А или не-В»,

    «А или В» означает «неверно, что не-А и не-В».
  • Denis Martynoffцитирует2 года назад
    Неверно, что ученик знает арифметику или знает геометрию, если и только если он не знает ни арифметики, ни геометрии».
  • Denis Martynoffцитирует2 года назад
    Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно
  • Denis Martynoffцитирует2 года назад
    Или другой пример: «Если нет дыма, когда нет огня, то если есть огонь, есть и дым
  • Denis Martynoffцитирует2 года назад
    Например: «Если верно, что рукопись, не получившая положительного отзыва, не публикуется, то верно, что публикуемая рукопись имеет положительный отзыв».
fb2epub
Перетащите файлы сюда, не более 5 за один раз