Size: a a a

2020 October 07

H

Hirrolot in rust_offtopic
можешь переслать
источник

p

polunin.ai in rust_offtopic
Ок я в лс напишу
источник

H

Hirrolot in rust_offtopic
короче я не сварщик, но составляешь таблицу истинности и по ней смотришь
источник

H

Hirrolot in rust_offtopic
источник

H

Hirrolot in rust_offtopic
тут показано как
источник

p

polunin.ai in rust_offtopic
Hirrolot
короче я не сварщик, но составляешь таблицу истинности и по ней смотришь
Не, мне нужно вывести
источник

p

polunin.ai in rust_offtopic
По таблице истинности я тоже умею, и через правила де Моргана тоже
источник

H

Hirrolot in rust_offtopic
посмотри ссылку выше, там выводят по таблицам истинности как раз

она будет так выглядеть:
| A | B | C | A -> B | B -> C | A -> C |
источник

p

polunin.ai in rust_offtopic
Ещё раз, мне таблица истинности не подходит
источник

H

Hirrolot in rust_offtopic
почему?
источник

p

polunin.ai in rust_offtopic
Потому что до этого в книге не было ее, значит подразумевается доказательство без нее
источник

SP

Stanislav Popov in rust_offtopic
а еще в книге не было доказательство бытийности бытия и существования материи
источник

p

polunin.ai in rust_offtopic
Вот так например доказывается ассоциативность конъюнкции, нужно по такому же принципу доказать транзитивность импликации
источник

H

Hirrolot in rust_offtopic
да, не ограничивай себя ничем, будь open-minded
источник

H

Hirrolot in rust_offtopic
источник

SP

Stanislav Popov in rust_offtopic
polunin.ai
Вот так например доказывается ассоциативность конъюнкции, нужно по такому же принципу доказать транзитивность импликации
похоже на шизу
источник

SP

Stanislav Popov in rust_offtopic
т.е. я правильно понимаю пацаны просто с потолка говорят что существуют СКОБОЧКИ, или же говорят что у операций есть "последовательность" нигде ее не определяя и не изучая свойства. а потом выводят как скобочки работают?
источник

p

polunin.ai in rust_offtopic
Stanislav Popov
т.е. я правильно понимаю пацаны просто с потолка говорят что существуют СКОБОЧКИ, или же говорят что у операций есть "последовательность" нигде ее не определяя и не изучая свойства. а потом выводят как скобочки работают?
We
assume
that
the
reader
is
already
familiar
with
the
basics
of
logic,
источник

H

Hirrolot in rust_offtopic
polunin.ai
We
assume
that
the
reader
is
already
familiar
with
the
basics
of
logic,
они же с нуля дают там всё, нет?
источник

H

Hirrolot in rust_offtopic
формальный синтаксис логических высказываний описывают
источник