Замечательная дисциплина "Логика"

[Irene]

Друзья, я уже третий день ломаю свой нежный мозг этим предметом, конкретнее "Натуральным выводом", если есть кто-то, кто понимает это, отзовитесь , прошуумоляю

Примеры заданий:

Я уже много поняла, но многие моменты не описаны в учебнике, вообще не знаю как доказать некоторые теоремы.

Еще словосочетания, которые могут дать объяснение по поводу этой темы: теория дедуктивных рассуждений, классическое исчисление высказываний, натуральное исчисление.

 

[Кот]

Я уже много поняла

Боже, как же я беспросветно туп... это хоть на каком языке???

 

[Irene]

Боже, как же я беспросветно туп... это хоть на каком языке???

на языке логики

 

[Кот]

на языке логики

Ааа... ну тогда... 1 и 5 там же и так отчётливо видно, что всё логично. Это аксиомы, а не теоремы.
Над остальными надо думать.

 

[Irene]

@Кот, ну мне в любом случае доказывать это надо, словесное доказательство не катит :(

вот так

 

[OnlyTouch]

вот так

О боги, чего люди только не придумают, дабы усложнить элементарные вещи))) :omg:

 

[Кот]

чего люди только не придумают, дабы усложнить элементарные вещи)))

Ну есть версия... мозг конечно не мышца, но его тоже надо тренировать.
Вот... может это такие тренажёры специальные. Связи там между нейронами упрочить, извилины подкачать... главное не перекачаться.

 

[Кристинка]

@Irene, я ничего не понимаю. :kuku:

 

[OnlyTouch]

Связи там между нейронами упрочить, извилины подкачать... главное не перекачаться.

Аха, фитнес для мозга тоже вызывает побочные эффекты...))) :omg:

Посмотреть ещё

Идёт экзамен по логике.

Профессор:
— На борту самолета 500 кирпичей. Один кирпич выпал из самолета. Сколько на борту осталось кирпичей?

Студент:
— Ну, это легко! 499!

— Правильно. Следующий вопрос: как поместить слона в холодильник за 3 шага?

— 1. Открыть холодильник. 2. Поместить туда слона. 3. Закрыть холодильник.

— Дальше. Как поместить оленя в холодильник в 4 приема?

— 1. Открыть холодильник. 2. Вынуть слона. 3. Положить оленя. 4. Закрыть холодильник.



— Отлично! У царя зверей льва день рождения. Поздравить его пришли все животные, кроме одного. Почему?

— Потому что олень все еще находится в холодильнике.

— Великолепно! — говорит профессор. — Пойдем дальше. Может ли бабуля пройти через болото с крокодилами?

— Конечно, может! Ведь все крокодилы ушли праздновать день рождения льва.

— Хорошо! А теперь последний вопрос. Бабуля прошла через пустое болото, но все равно умерла. Что с ней случилось?

— Эм-м-м… эм-м-м… Может быть, она утонула?

— Нет, извините, на нее упал кирпич, который выпал из самолета. НА ПЕРЕСДАЧУ!

 

[DId2]

Аха, фитнес для мозга тоже вызывает побочные эффекты...))) :omg:

Посмотреть ещё

Идёт экзамен по логике.

Профессор:
— На борту самолета 500 кирпичей. Один кирпич выпал из самолета. Сколько на борту осталось кирпичей?

Студент:
— Ну, это легко! 499!

— Правильно. Следующий вопрос: как поместить слона в холодильник за 3 шага?

— 1. Открыть холодильник. 2. Поместить туда слона. 3. Закрыть холодильник.

— Дальше. Как поместить оленя в холодильник в 4 приема?

— 1. Открыть холодильник. 2. Вынуть слона. 3. Положить оленя. 4. Закрыть холодильник.



— Отлично! У царя зверей льва день рождения. Поздравить его пришли все животные, кроме одного. Почему?

— Потому что олень все еще находится в холодильнике.

— Великолепно! — говорит профессор. — Пойдем дальше. Может ли бабуля пройти через болото с крокодилами?

— Конечно, может! Ведь все крокодилы ушли праздновать день рождения льва.

— Хорошо! А теперь последний вопрос. Бабуля прошла через пустое болото, но все равно умерла. Что с ней случилось?

— Эм-м-м… эм-м-м… Может быть, она утонула?

— Нет, извините, на нее упал кирпич, который выпал из самолета. НА ПЕРЕСДАЧУ!

Но это скорей на память, чем на логику.

 

[DId2]

@Irene, а что за символ

?
Обратное высокое "Г"
Не могу найти его определение.
P.S. Отрицание что-ли?

¬

На современный клавиатурах этого символа нет. А вот на советских - был.

?

И кто ж его так-то повернул и отразил-то... Садист...

 

[ДзядзяФедя]

Обратное высокое "Г"

U+231C ⌜ Левый верхний уголок и U+231D ⌝ Правый верхний уголок: угловые скобки, также называемые «кавычками Куайна». Используется как квазикавычки, то есть выделение определённого контекста неопределённого выражения («переменной»)[5]. Используется также для чисел Гёделя[6]. Например, «⌜G⌝» обозначает число Гёделя для G. (Типографическое замечание: хотя кавычки появляются всегда в «паре» в (231C и 231D в Unicode), они не всегда симметричны в некоторых фонтах, а в некоторых фонтах, таких как Arial, они симметричны только при определённых размерах букв). Альтернативно кавычки могут быть представлены как ⌈ и ⌉ (U+2308 и U+2309) или с помощью символов отрицания и обратного отрицания ⌐ ¬ в верхнем индексе.)

https://ru.wikipedia.org/wiki/Список_логических_символов

"давно это было, я уже всё позабыл..."

 

[DId2]

@Irene, доказать все 6 надо?

 

[DId2]

https://ru.wikipedia.org/wiki/Список_логических_символов

"давно это было, я уже всё позабыл..."

А разве в Логике высказываний используется обратное отрицание?

 

[ДзядзяФедя]

А разве в Логике высказываний используется обратное отрицание?

https://dic.academic.ru/dic.nsf/ruwiki/29699
https://dic.academic.ru/dic.nsf/ruwiki/36576
я последний раз учебник логики листал на экзамене по ОРД в 92 году, а за это время понаплодили каких-то тафтологических понятий, которые только усложняют понимание очевидных вещей. Перефразируй вопрос в простых выражениях(я уже бутыль уговорил)

https://www.stihi.ru/2018/01/09/5189

 

[DId2]

https://dic.academic.ru/dic.nsf/ruwiki/36576
я последний раз учебник логики листал на экзамене по ОРД в 92 году, а за это время понаплодили каких-то тафтологических понятий, которые только усложняют понимание очевидных вещей. Перефразируй вопрос в простых выражениях(я уже бутыль уговорил)

Задачка, описанная ТС, из разряда Классической Логики Высказываний.
В теоремах, описанных ТС упоминается символ "⌉" (содрал из твоей цитаты), который я не встречал в КЛВ и, судя по всему, перепутал с двойным обратным отрицанием.
P.S. Не, не перепутал. Это и есть обратное отрицание. Но какое оно имеет отношение к КЛВ - непонятно.
Похоже, придётся ждать возвращения ТС для прояснения.

Добавлено через 7 минут

P.P.S. Оффтоп

Ушёл.

 

[ДзядзяФедя]

В теоремах, описанных ТС упоминается символ "⌉" (содрал из твоей цитаты), который я не встречал в КЛВ и, судя по всему, перепутал с двойным отрицанием.

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

 

[Irene]

@DId2, это символ - отрицание) вы в точку попали)
В википедии есть все символы логики, в том числе этот:

https://ru.m.wikipedia.org/wiki/Список_логических_символов

Отрицание (инверсия), от латинского inversion- переворачиваю. Соответствует частице НЕ, словосочетанию НЕВЕРНО, ЧТО.

Добавлено через 2 минуты

@DId2, доказать надо все 6 теорем, я доказала 2
Не могу доказать именно те, где вначале этот символ (отрицание)

Добавлено через 7 минут

@DId2, поняла, в чем вопрос. Это именно обычное отрицание, не двойное, просто наш преподаватель такой символ написал) но другого мы не учили, видимо, он другого не нашел))

 

[DId2]

@Irene, самый главный вопрос - нужно просто решить Оффтоп

или объяснить (научить) как решать Оффтоп

?

Добавлено через 1 час 35 минут

P.S. И если нужно срочно - боюсь, увы, не получится. Вопрос-ответ с разницей в 8 часов не может быть быстрым.
А мне ещё нужно вспомнить давно забытое :(

 

[Irene]

@DId2, нужно научить :JC_flirt: но я могу быть тут в любое время! Мы можем договориться))
И я обещаю быть ответственной ученицей)
А понять нужно к четвергу)

Я выучила все правила, поняла три эвристики (из трех, которые надо понять) , сделала некоторые примеры, но когда отрицание вначале, не получается