Post #679
954 Apr 28, 2025, 15:20 UTC Отношение R является антисимметричным, если и только если для любых объектов х, у верно, что если х находится в отношении R к у, а также у находится в отношении R к х, то х=у Т.е. (если хRy и уRx, то х=у)
Post #673
1.22K Apr 2, 2025, 23:14 UTC Post #668
2.1K Mar 4, 2025, 18:05 UTC Резюме решения (аргументы, для краткости, были опущены)
💊 10 ❤ 7 🌚 3 🤣 2 😁 1 👀 1 😨 1 🤗 1 Post #667
1.96K Mar 4, 2025, 13:32 UTC Внимание! Трудная проблема сознания решена, расходимся
👻 12 ❤ 8 🤯 2 🥱 2 💊 2 👀 1 🫡 1 Post #662
1.21K Feb 14, 2025, 13:55 UTC Post #661
1.62K Feb 14, 2025, 13:45 UTC Хорошее рассуждение? [ 👍, 👎, 🤔]
Post #660
1.29K Feb 13, 2025, 13:18 UTC В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет» А у нас в логике его называют «штопор». Интересно почему)
Post #655
1.13K Feb 4, 2025, 17:07 UTC Доказательство оставили в качестве упражнения читателю