Формулы, выражения, образцы порождения высказываний. Формула: А не А или А → Не → А для объектов и действий с объектами. Формула: А не В или А → Не → В для объектов и действий с объектами (Курица не человек). В алгебре логики логические связки и соответствующие им логические операции имеют специальные названия и обозначаются следующим образом:
Примеры записи сложных высказываний с помощью обозначения логических связок:
http://ifn.kemsu.ru/edu_materials_ict/uch-mathematics/papers/posobie/r3-1.htm
♦
Дом → Не → Дом →
Дом → Не → Дом → А → Дурдом →
Дом → Не → Дом → Курица → Не → Человек →
♦
Дура → не → Дура →
Дура → не → Дура → А → Человек →
♦
Кот → Не → Кот →
Кричи → Не → Кричи →
♦
Курица → Не →
Курица → Не → Орел →
Курица → Не → Самолет →
Курица → Не → Человек →
Курица → Не → Яйцо →
♦
Ложка → Не → Ложка → А → Поварежка →
♦
Май → Не → Май →
♦
Мама → Не →
Мама → Не → Гвоздь →
Мама → Не → Груша →
Мама → Не → Груша → Дятел → Не → Человек →
♦
Мама → Не → Дятел →
Мама → Не → Крот →