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

Логика

Notify me when the book’s added
To read this book, upload an EPUB or FB2 file to Bookmate. How do I upload a book?
  • Denis Martynoffhas quoted2 years ago
    Если А, то В. Не-В. Следовательно, не-А.

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

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

    Неверно A

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

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

    «А или В» означает «неверно, что не-А и не-В».
  • Denis Martynoffhas quoted2 years ago
    Неверно, что ученик знает арифметику или знает геометрию, если и только если он не знает ни арифметики, ни геометрии».
  • Denis Martynoffhas quoted2 years ago
    Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно
  • Denis Martynoffhas quoted2 years ago
    Или другой пример: «Если нет дыма, когда нет огня, то если есть огонь, есть и дым
  • Denis Martynoffhas quoted2 years ago
    Например: «Если верно, что рукопись, не получившая положительного отзыва, не публикуется, то верно, что публикуемая рукопись имеет положительный отзыв».
fb2epub
Drag & drop your files (not more than 5 at once)