Сохранен 15
https://2ch.su/b/res/334952239.html
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!

Что делать, если я настолько тупой, что даже осознание того, что такое предикат и почему импликация

 Аноним 17/07/26 Птн 17:37:42 #1 №334952239 
17842990449301964187876342568941.jpg
Что делать, если я настолько тупой, что даже осознание того, что такое предикат и почему импликация такая, какая она есть для меня тяжело? Даже гуманитарий-убермаргинал понимает, а я нет.
Аноним OP 17/07/26 Птн 17:40:19 #2 №334952313 
Бамп
Аноним OP 17/07/26 Птн 17:47:32 #3 №334952516 
Бамп
Аноним OP 17/07/26 Птн 17:58:02 #4 №334952808 
Бамп
Аноним OP 17/07/26 Птн 18:01:51 #5 №334952922 
Бамп
Аноним OP 17/07/26 Птн 18:03:41 #6 №334952959 
Бамп
Аноним OP 17/07/26 Птн 18:21:09 #7 №334953424 
Бамп
Аноним OP 17/07/26 Птн 18:35:57 #8 №334953806 
Бамп
Аноним 17/07/26 Птн 18:40:04 #9 №334953914 
Да как ты сюда всё время залазишь нахуй
Аноним OP 17/07/26 Птн 18:56:57 #10 №334954406 
Бамп
Аноним 17/07/26 Птн 18:57:11 #11 №334954415 
>>334952239 (OP)
Я не помню эти слова, но я знаю, что я знаю и понимаю эти вещи
Аноним 17/07/26 Птн 19:25:00 #12 №334955150 
>>334952239 (OP)
бамп
Аноним OP 17/07/26 Птн 19:25:54 #13 №334955174 
Так, я погуглил. Логику первого и второго порядка более менее понял. Потом у нейронки выпытал про темпоральную логику. Все равно чувствую себя неуверенно и неустойчиво.
Аноним OP 17/07/26 Птн 19:36:51 #14 №334955484 
Насколько я понял, в этой формуле A -> B сама по себе B является пресуппозицией, а А - ее следствием.
Т.е. я могу сказать "Если у меня есть Айфон, значит, айфоны существуют", и буду прав, но я не могу сказать "Если у меня есть Айфоны, это значит, что они не существуют".
Ясно, что я работает, пока мы не лезем в залупу, а остаёмся в рамках языка.
Аноним 17/07/26 Птн 20:12:11 #15 №334956318 
54654787.mp4
>>334952239 (OP)
Что вам непонятно, молодой человек?
Импликация это A -> B:
0 0 -> 1.
0 1 -> 1.
1 0 -> 0.
1 1 -> 1.
Иными словами, утверждение в виде импликации истинно когда A и B истинны, ведь по сути об этом и хочет сказать импликация "если A истинно, то и B истинно".
А если A истинно, а B не истинно, то значит ложь, ведь это противоречит "если A истинно, то и B истинно".
Теперь осталось разобрать случай когда A - ложь. Если A - ложь, то непонятно B - истина или ложь, импликация об этом ничего не утверждает, поэтому импликация является истинной (почему? потому что в этом не будет противоречия, то есть это дает нам логическую конструкцию которая гарантирует что из A следует B, только и всего, а что там в других обстоятельствах неважно).
comments powered by Disqus