Почему это не является пропозициональной формулой в логике?

[crocki]

Имеется алфавит {V, |,F,T, (, ), ¬, ∧, ∨, →} языка логики высказываний.
Сказано, что это формулы:
V ||V
¬V |V
(¬T ∨ V |V )
(¬V |V ∨ V |V )
(¬(V |V ∨ V ||||V ) ∧ V ||V )
А это не является формулами:
(¬V |V ∨ V ||V
(¬V |V − V ||V )
(¬V |V ∨ Z)
¬V |V ∨ V ||V

Почему четвёртое слово (последнее во втором списке) не является пропозициональной формулой в логике высказываний?
Т.е. почему это является формулой (¬V |V ∨ V |V ) (отрицание, слово, дизъюнкция, слово и всё это в скобках), с точки зрения автора, а это ¬V |V ∨ V ||V - нет (отрицание, слово, дизъюнкция, слово)?
P.S. 13-14 страница, пункт 1.1.2

[arseniiv]

crocki в сообщении #1386377 писал(а):

Почему четвёртое слово (последнее во втором списке) не является пропозициональной формулой в логике высказываний?

Скобок нет. $A\vee B$ не является формулой, только $(A\vee B)$ является.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);


Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.