ground formula

logic formula without variables

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

Kategoriler:

sentence