 |
| |||
| prepositional calculus; sententional calculus | |||
| sentential calculus; PC (propositional calculus); sentence calculus | |||
| propositional calculus | |||
| |||
| propositional calculus | |||
| Russian thesaurus | |||
| |||
| раздел математической логики, аксиоматическое построение логики высказываний. Большой Энциклопедический словарь | |||
| исчисление высказываний: 13 phrases in 2 subjects |
| Mathematics | 12 |
| Programming | 1 |