Как определить предикаты LEQ и EQ на комбинаторах? Душкин объяснит
Логика предикатов
Обучающийся должен · знать: понятие одноместного предиката, понятий области определения и множества истинности предиката, понятия тождественно истинного (ложного) предиката, понятия n-местного предиката; понятие пропозиционального высказывания, значения истинности пропозиционального высказывания, понятия следствия предиката, равносильных предикатов; логические операции над предикатами (отрицание, конъюнкция, дизъюнкция, импликация); кванторные операции над предикатами (квантор общности и квантор...
Предикативное мышление
Предикативное мышление противопоставляется логическому или считается ложно-логическим. Разберемся в чем суть да дело. Предикат (от лат. praedicatum – сказанное) – языковое выражение, обозначающее какое-либо свойство или отношение. Предикат, указывающий на свойство отдельного предмета («зеленый», «теплый»), называется одноместным. Предикат, обозначающий отношение, называется двухместным, трехместным и т.д., в зависимости от числа членов данного отношения («любит» – двухместный предикат, «находится между» – трехместный)...