ічні терміни, такі як кон'юнкція і диз'юнкція, яка може бути суворою і нестрогой, заперечення, еквіваленція і імплікація. Кон'юнкція відображається у вигляді галочки, спрямованої вгору (^), диз'юнкція як галочка, спрямована вниз (? ) . При суворої диз'юнкції вище галочки ставиться крапка ( ? ) . Імплікація має знак В«?В», Заперечення (-), еквіваленція (?).
Останнім видом символів, за допомогою яких виражаються висловлювання, є круглі дужки ().
Символи, що позначають логічні терміни, типи зв'язки, характеризуються різною силою. Так, зв'язка ^ вважається найсильнішою, тобто вона зв'язує сильніше всіх інших. Зв'язка ? ñèëüГГҐГҐ, Г· ГҐГ¬ ?, Що важливо лише в певних випадках. Так, визначення сили зв'язок стає важливим у разі запису формул без використання дужок. Якщо ми маємо висловлювання, виражене формулою (a ^ b) ? c, ìîæГГ® ГГҐ ГЇГЁГ±Г ГІГј ñêîáêè, à ïðÿìî óêà çûâà òü, Г· ГІГ® a ^ b ? c. Г’Г® æå ïðà âèëî äåéñòâóåò ГЁ ïðè èñïîëüçîâà ГГЁГЁ ñèìâîëà ?.
Однак дане правило справедливо не у всіх випадках. Тобто в багатьох випадках неприпустимо опускати дужки. Наприклад, коли Кон'юнктивна зв'язка поняття a здійснюється з двома іншими поняттями, пов'язаними ставленням імплікації і відокремленими круглими дужками, опускати останні неприпустимо (a ^ (b? C)). Це очевидно, тому що в противному випадку довелося б спочатку здійснювати в'язку кон'юнкції і тільки потім імплікації. Зі шкільного курсу математики ми знаємо, що опускати дужки в подібному випадку не можна. Ілюстрацією подібної ситуації може бути наступний приклад: 2 Г— (2 + 3) = 10 і 2 Г— 2 + 3 = 7. Результат очевидний.
У зв'язку зі сказаним вище можна відзначити, що далеко не кожне символьний вираз висловлювань є формулою. Для цього необхідна наявність певних ознак. Наприклад, формула повинна бути побудована правильно. Прикладами такої побудови можуть бути: (a ^ b), (a ? b), (a ? b), (a? b). Це побудова відзначається як ППФ, тобто правильно побудована формула. Прикладами неправильно побудованих формул можуть бути: a ^ b, a
