/math/ - Логика, зачем она нужна?

Логика, зачем она нужна? Аноним 27/09/22 Втр 02:21:50 № 99145 1

Зачем учить логику? И я вообще говорю в целом про любую вещь что принято называть логикой. Пропозициональная, предикатная, мат.логика, модальная, можно добавить еще булеву алгебру. Так как вроде это относят все же к математике, то где она может пригодится в теории и на практике(кроме компуктер сайнс). Вопрос глуповатый, но мне интересно почитать ваши ответы

Аноним 27/09/22 Втр 19:52:29 № 99157 2

Рассказываю я билет на колоке, а мне хуяк - НЕПРАВИЛЬНО, а что неправильно то епта? ДУМАЙТЕ. Или еще была тема на экзамене письменном - РЕШЕНИЕ НЕВЕРНОЕ ПРАВИЛЬНЫЙ ОТВЕТ ПОЛУЧЕН СЛУЧАЙНО. Я никогда больше мясным мешкам ебаным не доверю оценивать правильность или неправильность своих измышлений - только формальные методы, только хардкор!

Аноним 27/09/22 Втр 21:52:27 № 99158 3

>>99145 (OP)
Зачатки мат. логики (булевы функции) используются при проектировании электронных схем.

Аноним 27/09/22 Втр 23:27:28 № 99163 4

>>99158
ну я же просил без компуктерсайнс.

Аноним 28/09/22 Срд 20:18:42 № 99179 5

>>99163
>электронных схем
>компуктерсайнс
Это не одно и то же.
Кстати, добавлю, что логика высказываний может быть использована при аргументации в говорильных дисциплинах, но там всё портит обоснованность операции следования.

Аноним 29/09/22 Чтв 12:06:39 № 99183 6

>>99145 (OP)
Математика и есть по сути прикладная логика. Мы берём логику как языковое средство, как некоторую грамматику и пораждаем на её основе тексты. Ты можешь не учить логику специально, целенаправленно, но тебе придётся выучить её стихийно, имплицитно во время разбора доказательства теорем.

Аноним 03/10/22 Пнд 05:56:35 № 99222 7

>>99183
А может логика это бессодержательная математика?

Аноним 03/10/22 Пнд 16:11:17 № 99225 8

>>99222
Логика - это про вопросы типа что такое предикат, переменная, квантор, понятие, суждение, истина, доказательство и тому подобные.

Аноним 04/10/22 Втр 07:37:12 № 99231 9

>>99183
>Математика и есть по сути прикладная логика
Примерно так же, как написание стихов есть квантовая физика из-за атомов углерода в стержне карандаша.

Аноним 21/11/23 Втр 18:20:23 № 110903 10

Логика это хуета, которая не соответствует современным интуициям. Даже если бы все вычисления кодировались бинарным кодом, математика бы все равно не имела никакого отношения к логике.

Аноним 17/12/23 Вск 00:05:45 № 111474 11

150314317314106[...].jpg 123Кб, 1000x546

>>99145 (OP)
Так надо.

Аноним 17/12/23 Вск 00:11:06 № 111475 12

>>99145 (OP)
Вот есть у тебя высказывание, которое можно превратить в формулу. Если знаешь алгебру логики и у тебя есть какой-нибудь, например, мультиплексор, можешь сделать сам какую-нибудь нужную тебе специфическую хуйню, которая нигде не продаётся и только крафтится специалистами.

Аноним 21/12/23 Чтв 13:55:23 № 111539 13

>>111474
А скинь приложение с нотацией из книги.

Аноним 08/02/24 Чтв 05:01:14 № 112436 14

>>99225
это метаматематика

Аноним 08/02/24 Чтв 07:59:37 № 112439 15

>>110903
> Логика это хуета, которая не соответствует современным интуициям.

Аноним 24/03/24 Вск 17:07:14 № 113916 16

>>99145 (OP)
Рассказываю я же к логике.

Аноним 15/04/24 Пнд 14:13:35 № 114350 17

>>99145 (OP)
Мр. А кичится своей объективностью: “Я вижу, следовательно я верю”.
Мр. Б возражает: "Он не верит, следовательно он не видит”.
Формально логически высказывания эквивалентны.
Чем второй возражает тогда?