ground formula

logic formula without variables

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

Категорії:

sentence