形式的にとはどういう意味か
#🌱
これが議論として正当であることを形式的（機械的）に証明したい．
ref:
『2007年度 情報数学 証明論入門』
P2
こういう記述があるので、何かしらの規則を用いて機械的に導き出すもの
数理論理学
、
論理学
では、
推論規則
を用いて論理式の分解、変形をしていく
Operator Precedence and Associativity in C - GeeksforGeeks
参考
「機械的」の意味や使い方 わかりやすく解説 Weblio辞書
『証明支援系を用いたトポロジーの形式化について』
関連
Well-defined
#Fleeting_Notes