logică simbolică

Noun

 * 1) symbolic logic