Язык логики
Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.
Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений.
Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова иди словосочетания, обозначающее или именующее какой-либо внеязыковой объект.
Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.
Имена признаков — качеств, свойств или отношений — называются предик/порами. В предложении они обычно исполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.).
Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается.
Алфавит языка логики предикатов включает следующие виды знаков (символов):
1) символы для единичных; 2) символы общих имен предметов; 3) символы для предикатов; 4) символы для высказываний.
Поможем написать любую работу на аналогичную тему