Первые учения о формах и способах  рассуждений  возникли  в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры  древне-греческими мыслителями. Основы формальной логики заложил Аристотель,  который впервые отделил логические формы речи от ее  содержания.  Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления. Логика  изучает  внутреннюю  структуру  процесса мышления, который реализуется в  таких  естественно  сложившихся формах как понятие, суждение, умозаключение и доказательство.

Данный ресурс реализован в среде Ms Office 2007 и предназначен для практического знакомства с логическими операциями.