Сообщение Re[3]: логика про ИИ (или мы пойдем другим путем 2) с комент от 06.09.2023 9:06
Изменено 06.09.2023 9:08 Эйнсток Файр
Re[3]: логика про ИИ (или мы пойдем другим путем 2) с комент
Р> Суждение — человеческий вывод не так ли?
Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
--------------------------------------------------------------------------------------------------------------------------------------------------
Пропозициональная логика, она же "логика высказываний",
изучает логические отношения между высказываниями.
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
В исчислении высказываний (см. логика высказываний) нет предметных переменных,
то есть переменных, которые могут принимать нелогические значения, например, числовые.
--------------------------------------------------------------------------------------------------------------------------------------------------
Исчисление логики предикатов первого порядка
(это другое исчисление, не такое как "исчисление высказываний", круче)
Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
Нульместный предикат представляет собой высказывание.
N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
все известные свойства логических операций обобщаются для предикатов.
Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат
--------------------------------------------------------------------------------------------------------------------------------------------------
Написанная Вами формула не является ни предикатом, ни суждением.
Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
--------------------------------------------------------------------------------------------------------------------------------------------------
Пропозициональная логика, она же "логика высказываний",
изучает логические отношения между высказываниями.
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
В исчислении высказываний (см. логика высказываний) нет предметных переменных,
то есть переменных, которые могут принимать нелогические значения, например, числовые.
--------------------------------------------------------------------------------------------------------------------------------------------------
Исчисление логики предикатов первого порядка
(это другое исчисление, не такое как "исчисление высказываний", круче)
Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
Нульместный предикат представляет собой высказывание.
N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
все известные свойства логических операций обобщаются для предикатов.
Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат
--------------------------------------------------------------------------------------------------------------------------------------------------
Написанная Вами формула не является ни предикатом, ни суждением.
Re[3]: логика про ИИ (или мы пойдем другим путем 2) с комент
Р> Суждение — человеческий вывод не так ли?
Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
--------------------------------------------------------------------------------------------------------------------------------------------------
Пропозициональная логика, она же "логика высказываний",
изучает логические отношения между высказываниями.
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
В исчислении высказываний (см. логика высказываний) нет предметных переменных,
то есть переменных, которые могут принимать нелогические значения, например, числовые.
--------------------------------------------------------------------------------------------------------------------------------------------------
Исчисление логики предикатов первого порядка
(это другое исчисление, не такое как "исчисление высказываний", круче)
Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
Нульместный предикат представляет собой высказывание.
N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
все известные свойства логических операций обобщаются для предикатов.
Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат
--------------------------------------------------------------------------------------------------------------------------------------------------
Написанная Вами формула не является ни предикатом, ни суждением.
Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
--------------------------------------------------------------------------------------------------------------------------------------------------
Пропозициональная логика, она же "логика высказываний",
изучает логические отношения между высказываниями.
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
В исчислении высказываний (см. логика высказываний) нет предметных переменных,
то есть переменных, которые могут принимать нелогические значения, например, числовые.
--------------------------------------------------------------------------------------------------------------------------------------------------
Исчисление логики предикатов первого порядка
(это другое исчисление, не такое как "исчисление высказываний", круче)
Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
Нульместный предикат представляет собой высказывание.
N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
все известные свойства логических операций обобщаются для предикатов.
Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат
--------------------------------------------------------------------------------------------------------------------------------------------------
Написанная Вами формула не является ни предикатом, ни суждением.