Центральная задача логики – отделение правильных схем рассуждения от неправильных и систематизация первых. Логическая правильность определяется логической формой. Для её выявления нужно отвлечься от содержательных частей рассуждения (собственных символов) и сосредоточить внимание на несобственных символах, представляющих эту форму в чистом виде. Отсюда интерес формальной логики к таким, обычно не привлекающим внимания, словам, как «и», «или», «если, то» и т.п. (СНОСКА: О том, насколько такие слова выпадают из нашего поля зрения, говорит шуточная загадка: «А и В сидели на трубе, А упало, В пропало, что осталось на трубе?» Ответ: «и»)

2. Условное высказывание, импликация, эквивалентность

Условное высказывание – сложное высказывание, формулируемое обычно с помощью связки «если …, то …» и устанавливающее, что одно событие, состояние и т.п. является в том или ином смысле основанием или условием для другого. Например: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т.п.

Условное высказывание слагается из двух простых высказываний. То, которому предпослано слово «если», называется основанием, или антецедентом (предыдущим); высказывание, идущее после слова «то», называется следствием, или консеквентом (последующим).

Утверждая условное высказывание, мы прежде всего имеем в виду, что не может быть так, чтобы то, о чем говорится в его основании, имело место, а то, о чем говорится в следствии, отсутствовало. Иными словами, не может случиться, чтобы антецедент был истинным, а консеквент – ложным.

В терминах условного высказывания обычно определяются понятия достаточного и необходимого условия: антецедент (основание) есть достаточное условие для консеквента (следствия), а консеквент – необходимое условие для антецедента. Например, истинность условного высказывания «Если выбор рационален, то выбирается лучшая из имеющихся альтернатив» означает, что рациональность – достаточное основание для избрания лучшей из имеющихся возможностей, и что выбор такой возможности есть необходимое условие его рациональности.