Főnév

propositional logic (tsz. propositional logics)

  1. (matematika) ítéletlogika