アルゴリズムってどこが理系なんだ？
文の集まりだからむしろ文系だろ
命題は「カエサルはルビコン川を渡ったか渡らなかったかのどちらかである」みたいな文の集合で計算する要素とかないしな