§ 4. Уявлення про формалізовану мову
Правильність міркування визначається його логічною будовою (чи схемою) і не залежить від конкретного змісту висловлювань, з яких воно складається. Тому, для чіткого вираження (фіксації) логічної схеми міркувань, в логіці створюють штучні мови, які отримали назву формалізованих мов.
Такі мови є символічними. В них висловлювання природної мови замінюються спеціальними символами. Завдяки цьому міркування перетворюються на певну послідовність (ланцюжок) знаків, яка будується і підпорядковується певним правилам.Побудову моделі, у якій міркуванням природної мови ставлять у відповідність їх формальним аналогам, називають методом формалізації
Для того, щоб здійснити «переклад» деякого виразу природної мови на формалізовану мову необхідно:
1. виділити всі прості речення природної мови (нелогічні терміни) і позначити їх відповідними літерами - А.В.С...І т.д., які називаються пропозиційними змінними;
2. встановити граматичні сполучники (логічні терміни), що зустрічаються у міркуванні і які пов'язують прості речення природної мови у складні речення. В природній мові вони звичайно виражаються за допомогою таких слів і словосполучень, як «усякий», «деякий» «є», «якщо..., тоді...”, “і», «або” та ін.;
3. записати у формалізованому вигляді аналізований вираз.
Розглянемо приклади. Спробуємо виявити логічну схему таких виразів:
а) Якщо в країні пропозиція робочої сили перевищує попит на неї, то в країні присутнє явище безробіття.
б) Якщо особа вкладає гроші у певний об 'єкт (справу), то вона отримує додатковий прибуток.
Абстрагуємось від змісту цих висловлювань і замінимо прості висловлювання, що входять до їх складу, на змінні: А і В. Логічний термін “якщо..., тоді...” зустрічається в обох висловлюваннях. Виявляється, що логічна форма “якщо А, то В” притаманна двом різним за змістом складним висловлюванням.
Наступні два міркування є різними за змістом, але також мають однакову логічну форму:
а) Якщо зарплата громадян буде зростати, то буде зростати і добробут населення.
Зарплата громадян зростає.
Отже, добробут населення зростає.
б) Якщо банк “Надра" підвищить процентну ставку на депозити, то я скористаюсь його послугами.
Банк “Надра" підвищив проиентну ставку.
Отже, я скористаюсь його послугами.
Якщо замість конкретних висловлювань, які зустрічаються в міркуваннях (а) і (б) підставити змінні (наприклад, А і В), то виявиться, що і у випадку (а), і у випадку (б) міркування здійснюється за однією схемою:
Таким чином, логічну схему виразу можна визначити як структуру цього виразу, яку виявляють в результаті абстрагування від значень нелогічних термінів, що входять до його складу.
Мова логіки має в своєму розпорядженні певні знакові засоби, за допомогою яких можливо здійснювати “переклад” міркувань природної мови на формалізовану мову з метою їх подальшого логічного аналізу. Такими знаковими засобами є:
1. пропозицій™ змінні - знаки для позначення простих речень природної мови (А, В, C...). Кожний такий знак є простим висловлюванням.
2. знаки логічних сполучників - знаки, які виконують схожу (хоча і не тотожну) функцію, що і граматичні сполучники: пов'язують декілька простих висловлювань і створюють складне висловлювання. До їх числа належать:
1. кон'юнкція - замінює граматичний сполучник “і” і позначається “А”;
2. диз'юнкція - замінює граматичний сполучник “або” і позначається
“V”;
3. імплікація - замінює граматичний сполучник “якщо..., то...” і позначається
4. еквіваленція - замінює граматичний сполучник “якщо і тільки якщо” і позначається'
5. заперечення - замінює частку “не”, словосполучення “невірно, що...” і позначається
6.
технічні знаки — (,) права та ліва дужки, кома.Таким чином, знаки пропозиційних змінних, логічних сполучників і технічні знаки задають алфавіт логіки висловлювань.
Розглянемо декілька прикладів такого “перекладу”.
Приклад І. При підвищенні цін пропозиція збільшується (А), а попит зменшується (В).
Приклад II. Невірно, що дохід і прибуток одне і те саме.
Приклад III. Якщо пропозиція менша, ніж попит (А), то ціна зростає (В).
Приклад IV. Держава дасть дозвіл на емісію НБ України грошової готівки або заборонить емісію.
Приклад V. Фізична і юридична особа може займатися бізнесом якщо і тільки якщо це не суперечить законодавству.
Приклад VI. Людина має право займатися підприємницькою діяльністю (А) і отримувати прибуток (В), або працювати на власника і отримувати лише заробітну плату. 
Приклад VII. Якщо поєднати працю і капітал або інтуїцію і підприємницькі здібності, то отримаємо фактори виробництва
Наведені приклади засвідчують, що формалізація складних висловлювань створюється з простих висловлювань за допомогою логічних сполучників.