 |
| |||
| prepositional logic | |||
| proposition logic (ssn); assertion-level logic (ssn) | |||
| propositional logic | |||
| Russian thesaurus | |||
| |||
| раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных далее не разлагаемых и не анализируемых высказываний с помощью логических операций конъюнкции "и", дизъюнкции "или", отрицания "не", импликации "если..., то..." и др. Логику высказываний, задаваемую системой постулатов аксиом и правил вывода, называют исчислением высказываний. Большой Энциклопедический словарь | |||
| логика высказываний: 6 phrases in 3 subjects |
| Artificial intelligence | 3 |
| Logic | 1 |
| Programming | 2 |