Логическая форма
Материал из Википедии — свободной encyclopedia
В логике, логическая форма утверждения — структурная основа, выраженная через логические операторы, такие как кванторы, связки и переменные. Точно определённая семантическая версия высказывания в формальной системе является абстрактным описанием смысла высказывания, отделённым от его конкретного содержания и контекста, которое определяет логическую структуру, поддерживающую вывод. Формализация неоднозначных высказываний в точные утверждения с однозначной интерпретацией в рамках формальной системы позволяет определить значение логической формы исключительно из синтаксиса. Логическая форма аргумента, называемая формой аргумента, является семантической, а не синтаксической конструкцией. Поэтому в идеальном формальном языке может существовать более одной строки, представляющей одну и ту же логическую форму[1].