Шифрований логічний вірш – це новий вид віршів у літературі, який об’єднує формальну логіку і вірші. Маючи необхідні правила читання, людина може читати логічну нотацію як вірш.
Правила читання основних символів(в основному тільки потрібних для цього вірша):
х(чи y, z та інші змінні) – хто
→(імплікація) – ", "(кома)
∧(кон’юнкція) – і
∀(універсальний квантор) – кожен
∃(екзистенціальний квантор) – є хтось
¬∃(заперечення екзистенціального квантора) – немає такого
Використовується логіка предикатів першого порядку.
¬(заперечення) – не можуть(∀)/ не може(∃)
Предикати і їх читання:
L – любить
W – чекає
M – мріє
F – прощає
P – прощатися(∃)/ прощається(∀)
х з предикатами не читається.
Логічна нотація вірша "Кожен, хто…":
1. ∀x(L(x) → W(x))
2. ∃y(M(y) ∧ F(y))
3. ∀z(F(z) → ¬P(z))
4. ¬∃x(W(x) ∧ P(x))
Вірш(розшифровка) "Кожен, хто":
1. "Кожен, хто любить, чекає"
2. "Є хтось, хто мріє і прощає"
3. "Кожен, хто прощає, не можуть прощатися!"
4. "Немає такого, хто чекає і прощається"
Анатолій
