классическое исчисление высказываний
经典语句演算, 经典命题演算
слова с:
в китайских словах:
直觉主义逻辑
интуиционистское исчисление высказываний
双值命题演算
двузначное исчисление высказываний
命题逻辑
логика высказываний, исчисление высказываний, пропозициональная логика
极小命题演算
минимальная логика, минимальное исчисление высказываний
模态命题演算
модальное исчисление высказываний
最小命题演算
минимальное исчисление высказываний
诗云子曰
конфуцианские высказывания; классические конфуцианские произведения, 《诗经》所说和孔子所言。二者均为历代儒者遵奉的信条。因用以泛指儒家言论或经典著作。
等价命题演算公式
эквивалентная формула исчисления высказываний
примеры:
经典命题演算, 经典语句演算
классическое исчисление высказываний