>>695
スレ主です
教育的ご指導
ご苦労さまです

ようやくスタート地点ですか？
論理式で書いて終わりならば
確率論不要です

例えば、リーマン予想を論理式で書いたとて
それは、リーマン予想の証明ではありませんよね