Міркування є твердження того, що деякий висловлювання (висновок) випливає з інших висловлювань (посилок). Міркування вважається правильним лише в тому випадку, якщо з кон'юнкції посилок слід висновок, т. Е. Між кон'юнкція посилок і висновком встановлено відношення слідства. Якщо P1. P2. Pn - посилки, а Q - висновок, то міркування правильно, якщо між висловлюванням P1 Ù P2 Ù. Ù Pn і Q встановлено відношення слідства. В цьому випадку імплікація P1 Ù P2 Ù. Ù Pn ®Q повинна бути тотожно істинним висловлюванням (тавтологією).
Правильність міркування можна встановити, побудувавши істиннісну таблицю висловлювання S = P1 ÙP2 Ù. ÙPn ®Q і переконавшись в тому, що воно тотожне істинно.
При великому числі посилок встановити той факт, що є тавтологією, зручніше за допомогою перетворень висловлювання до равносильной йому формулою, що є тавтологією.
Метод «від противного» полягає в припущенні, що висновок хибний, і встановлення того факту, що при цьому кон'юнкція P1 Ù P2 Ù. Ù Pn - помилкова (що має місце в тому випадку, якщо хоча б одна з посилок Pi () приймає значення «ложно»). Якщо це виконується, то міркування вірно, в іншому випадку - ні. Таким чином, в разі правильного міркування ми переконуємося в тому, що імплікація S = P1 Ù P2 Ù. Ù Pn ®Qº1, т. К. Відсутній логічний можливість, відповідна P = P1 Ù P2 Ù. Ù Pn = 1, Q = 0, де імплікація P®Q приймає значення помилково.