🎄T
Size: a a a
2020 July 08
b
какой ты туподоходящий
b
ЙОТА БЛЯДЬ
b
буква Й, как в слове ЙО или “полныЙ идиот”
b
смысл йоты в том, чтобы различать вещи, а так же их наличие/отсутствие
b
я могу сотни диалектов и дискурсов на логосе привести
b
смысл?
b
ну что молодые с первыми ТРЕМЯ пропозициями понятно?
b
можем двигаться дальше?
b
{ 5. Truthfulness gives rise to propositional operation. }
not p :=
p := boolean.
-> p ?
true -> false.
false -> true.
p and q :=
p, q := boolean.
-> p ?
true -> q.
false -> false.
p or q :=
p, q := boolean.
-> p ?
true -> true.
false -> q.
p xor q :=
p, q := boolean.
-> (p or q) and not (p and q).TT
Ребята, кто в Киеве кпи учится на 121 или 122, отзовитесь. Хочу пару вопросов задать..
b
not, and, or — формулируются символьно, практически открываются (discovery)
b
xor — уже выводится
b
на самом деле xor можно аналогичным способом показать, но зачем это делать, если его можно намного лаконичнее вывести
b
хотя строго вычислительно говоря, это вовсе не лаконичнее
b
например, в натуральном виде xor будет иметь такие же две ветки, как и в or, просто с not операцией на выходе
b
две операции это проще, чем 2*4 = 8 операций
b
НО умный дедуктор логоса легко упростит xor до этих двух веток
b
по такому же принципу как ты можешь это сделать при помощи табличек правдивости