ground formula

logic formula without variables

en-GB/ˈɡɹaʊnd ˈfɔːmjʊlə/
en-US/ˈɡɹaʊnd ˈfɑɹmjələ/

カテゴリ：

sentence