logo
информ

6)Информационно-логическая задача(опр)

Информационно-логическая задача – это в которой необходимо установить информационные или логические связи и сделать выводы. задачи возникают в различных областях и часто являются плохо формализованными и структурированными.

аксиомы логики – науки, изучающей методы доказательства и опровержения утверждений.

  1. Аксиома исключения третьего:.

  2. Аксиома противоречия:

  3. Аксиома двойного отрицания:

  4. Аксиома тождества: всякое высказывание тождественно самому себе.

Алгебра логики помогает доказывать теоремы.