一元谓词演算

yīyuán wèicì yǎnsuàn

логика исчисление одноместных предикатов