Логические высказывания

Формулы логики высказываний

Определение

Логической переменной будем называть переменную, которая может принимать значения 0 èëè 1

Замечание 1

Нестрого формулу логики высказываний можно определить, как выражение F(X1; X2; : : : ; Xn), полученное из логических переменных X1, X2; : : : ; Xn, констант 0, 1 и корректным применением операций ^, _, :, ! è $

То, что указано в замечании дает представлении о сути понятия формулы логики высказываний,

Логика высказываний

Формулы логики высказываний

Определение

Логической переменной будем называть переменную, которая может принимать значения 0 èëè 1

Замечание 1

Нестрого формулу логики высказываний можно определить, как выражение F(X1; X2; : : : ; Xn), полученное из логических переменных X1, X2; : : : ; Xn, констант 0, 1 и корректным применением операций ^, _, :, ! è $

То, что указано в замечании дает представлении о сути понятия формулы логики высказываний, но не может считаться определением

Логика высказываний

Формулы логики высказываний

Определение

Логической переменной будем называть переменную, которая может принимать значения 0 èëè 1

Замечание 1

Нестрого формулу логики высказываний можно определить, как выражение F(X1; X2; : : : ; Xn), полученное из логических переменных X1, X2; : : : ; Xn, констант 0, 1 и корректным применением операций ^, _, :, ! è $

То, что указано в замечании дает представлении о сути понятия формулы логики высказываний, но не может считаться определением поскольку нужно конкретизировать, что означает

Логика высказываний

Формулы логики высказываний

Определение

Логической переменной будем называть переменную, которая может принимать значения 0 èëè 1

Замечание 1

Нестрого формулу логики высказываний можно определить, как выражение F(X1; X2; : : : ; Xn), полученное из логических переменных X1, X2; : : : ; Xn, констант 0, 1 и корректным применением операций ^, _, :, ! è $

То, что указано в замечании дает представлении о сути понятия формулы логики высказываний, но не может считаться определением поскольку нужно конкретизировать, что означает "корректное применение операций"

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение)

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение) Формулами логики высказываний

называются

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение) Формулами логики высказываний

называются

1) логические переменные, а также символы 1 (истина) и 0 (ëîæü)

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение) Формулами логики высказываний

называются

1)логические переменные, а также символы 1 (истина) и 0 (ëîæü)

2)выражения вида (F) _(G),

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение) Формулами логики высказываний

называются

1)логические переменные, а также символы 1 (истина) и 0 (ëîæü)

2)выражения вида (F) _(G), (F) ^(G),

Логика высказываний

Формулы логики высказываний

Определение

(строгое определение) Формулами логики высказываний

называются

1)логические переменные, а также символы 1 (истина) и 0 (ëîæü)

2)выражения вида (F) _(G), (F) ^(G), :(F),

Логика высказываний