Предикатная логика высказываний: примеры и объяснения