3 ms·
Isn't it a little useless? I would think if would work better if it was transformed into implication. if (p) q would be (p => q) and i
by ajuc 12y ago
Isn't it a little useless?
I would think if would work better if it was transformed into implication.
if (p)
q
would be
(p => q)
and
if p
q
else
r
would be
(p=>q) and (~p => r)
Anyway, not my language.