Числення висловлень: відмінності між версіями

 

 

# Алфавіт (елементи множини <math>\Alpha</math>) числення висловлень складається з елементарних висловлень (пропозиційних змінних): <math>a,b,c,d,\dots,x,y,z</math> (можливо з індексами), логічними операціями є <math>\lnot , \rightarrow,</math> .

# Поняття формули визначається аналогічно алгебрі висловлень.

## всі пропозиційні змінні та елементарні висловлення є формулами;

## інших формул, ніж побудовані за правилами 2.1 і 2.2 немає.

 

 

# <math>(A \to (B \to A))</math>