@johan аргумент?
@oleg_ru Розы — это подмножество цветов. → существует вариант, когда все розы не входят в подмножество быстровянущих.
@vsv @oleg_ru Надеюсь, это шутка? 😄
Есть байка про то, как ученые приехали в отдаленный аул, чтобы исследовать, так сказать, когнитивные способности тамошних аксакалов. И вот нашли деда и спрашивают:
— У тебя 5 мешков зерна, а у соседа в 2 раза меньше. Сколько мешков у соседа?
— 2 мешка и еще половина.
ОК.
— До города идити 2 часа, а на велосипеде в 2 раза быстрее. Сколько?
— Не знаю, никогда не ездил на велосипеде
🤣
@vsv @oleg_ru
Формальная логика - это наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства) со стороны их логической структуры, отвлекаясь от конкретного содержания мыслей. Она занимается анализом структуры высказываний и доказательств, обращая внимание на форму в отвлечении от содержания[3][4]. Формальная логика концентрируется на идеализированных рассуждениях и их системах с помощью логических исчислений на основе формализации[2].
Citations:
[1] https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0
[2] https://gtmarket.ru/concepts/7028
[3] https://psychologos.ru/articles/view/formalnaya-logika
[4] https://dic.academic.ru/dic.nsf/enc_philosophy/1311/%D0%A4%D0%9E%D0%A0%D0%9C%D0%90%D0%9B%D0%AC%D0%9D%D0%90%D0%AF
[5] https://terme.ru/termin/formalnaja-logika.html