Следствие, необходимые и достаточные условия (версия 2)

Математика уроки лекции задачи

В этот раз без конкретный примеров =)

[FrozzSend]

Окееей,
У человека есть веник-A
Человек подметает-B
B => A, наличие веника необходимо для подметания, но если человек взял веник, он не обязательно будет подметать, веник - необходимое условие
В то же время когда человек подметает, у него должен быть веник. То есть факт подметания сам по себе достаточен для наличия веника.
ЯПП?

[MentiTM]

я долгое время мучался в этой дедукции, но парень этот, почти разложил всё по полочкам с достаточными и необходимыми условиями. Чуть чуть не хватает. пока помогает эвристика в принятии решений.) одна из проблем у нас на данный момент вообще в том, что сделали капиталку, собрали двигатель, но давление масла низкое. Визуально определить нет возможности. приходит на помощь, таким образом, восстановление в памяти хронологии и дедукция.) а сколько таких непоняток в повседневной жизни. Я же не оставливаю поиски четкого алгоритма поиска истины.))))

[SK-zmub]

В конце видео, насчет утверждения из A=>D, мне кажется есть ошибка.
если D необходимое условие из этого не следует, что А будет обязательно достаточным условием, таким образом не выполняется импликация.
Например: число делится на 1 - это необходимое условие для простого числа, но это не достаточное условие чтобы утверждать, что число является простым

[ПетяИванов-зм]

Всегда думал, что достаточное и необходимое, это типа: иметь колесо необходимо для автомобиля, но одно колесо ещё не автомобиль.

[SK-zmub]

На самом деле, многие упускают важные детали в объяснение.
Если есть утверждение А=>B, то мы изначально предполагаем, что А - истина . И только после этого мы можем доказать импликацию. Если А - ложь, то из А может следовать или ложь или истина (исходя из таблицы истинности).

Следующая деталь. А - высказывание. B - высказывание. Импликация А=>B - высказывание.
То есть из А и B мы делаем ДРУГОЕ высказывание в даном случае импликацию . И это другое высказывание (импликацию) надо доказать.

И важная вещь в математической импликации достаточность автоматически выводит необходимость,

[segameserver]

Никак не получается с этим переспать :'(