$$\large{\displaylines{{\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)}}$$

Обозначение простого суждения

Символьные обозначения в математике

Простые высказывания обычно обозначаются строчными латинскими буквами
$p:$ «Собака — животное», $p=1$
$q:$ «Велосипед — животное», $q=0$
Предикаты обозначаются заглавными латинскими буквами с перечислением переменных через запятую в круглых скобках
$P(x): x =$ «животное»
$x=$ «собака» $\Rightarrow P(x)=1$
$x=$ «велосипед» $\Rightarrow P(x)=0$

. . . суждение простое суждение