Slovník formalizovaného jazyka výrokovej logiky

slovník formalizovaného jazyka výrokovej logiky

- základné (primitivne) symboly výrokových premenných a logických konštánt výrokovej logiky ( L332;97).