🎄T
определить знаки T, F, определить на них логические операции
Ну ты можешь написать
data Bool' = True' | False'
data Bool' = True' | False'
Size: a a a
2020 May 11
🎄T
Ну ты можешь написать
И определить свои операторы
𝚙
ну вообще да
m
а можешь пример выведенной логики на чем-то кинуть
𝚙
но это не совсем честно
𝚙
это через типы
🎄T
но это не совсем честно
А как надо?
𝚙
пропозиционально
🎄T
Можно на чистом лямбда исчислении вывезти
𝚙
𝚙
а можешь пример выведенной логики на чем-то кинуть
в смысле?
🎄T
Можно на чистом лямбда исчислении вывезти
А соответственно и на Хаскеле
m
в смысле?
ну я не понимаю, о чем ты говоришь "вывести логику в 10 строк"
m
выведи логику в сколько-то строк
К
Как же я проорал с этого
𝚙
// 3. Boolean is a iota of truthfulness.
//
boolean := iota.
// 4. True and false are the boolean possibilities.
//
true, false := boolean.
// 5. Truthfulness gives rise to normal logic.
//
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.)
𝚙
тут оно записано