$$\large{\begin{gather*}{\color{#ff7800}p:} \ 3<5 \quad {\color{#ff7800}q:} \ 2=4 \\ \\ {\color{#ff7800}P(x):} \ \exists y(x=y+y) \\ \\ {\color{#ff7800}Q(x):} \ \exists y(x=(y+y)+1)\end{gather*}}$$
Обозначение простого суждения
Символьные обозначения в математике
- Простые суждения или высказывания обычно обозначаются строчными латинскими буквами
- $p:$ «Собака — животное», $p=1$
- $q:$ «Велосипед — животное», $q=0$
- Предикаты обозначаются заглавными латинскими буквами с перечислением всех переменных через запятую в круглых скобках
- $P(x): x =$ «животное»
- $x=$ «собака» $\Rightarrow P(x)=1$
- $x=$ «велосипед» $\Rightarrow P(x)=0$
