Язык логики высказываний
Основные синтаксические категории языка логики высказываний, из которых должны строиться высказывания и высказывательные формы, называемые формулами языка логики высказываний, перечень знаков этих Алфавит логики высказываний: 1. Пропозициональные переменные p, q, r, s, а также эти же символы с числовыми индексами: p1, p2, … pn, … 2. Логические константы (связки): & (конъюнкция), 3. Технические знаки: (– левая скобка,) – правая скобка. Технические знаки – скобки – по сути знаками не являются, то есть не представляют каких-то объектов. Пропозициональные переменные не имеют аналогов в естественном языке. Они появляются в формализованном языке логики как знаки каких-то более или менее сложных высказываний и, прежде всего, высказываний субъектно-предикатного характера, от структур которых мы отталкиваемся при изучении некоторых логических связей и форм выводов в рамках логики высказываний.
Формула – это осмысленное выражение логики высказываний. Формулы логики высказываний: 1. Любая пропозициональная переменная (например, p, q, r, s) есть уже формула. 2. Если А и В – формулы, то (А & B), (A 3. Если А – формула, то 4. Ничто иное не есть формула.
|
(дизъюнкция), 
(импликация), 
(отрицание);
А – формула.
