Висловлювання (логіка)!!!

Висловлювання - термін математичної логіки, що означає формалізований структурований запис думки за допомогою буквених символів і логічних зв'язкив, що розглядається з точки зору істиннісних значень. Це твердження, для якого оцінюється логічне значення: хиба або істина. Логічне висловлювання прийнято позначати великими латинськими літерами. Є основним об'єктом логіки висловлювань.

Логічні висловлювання прийнято поділяти на два види: елементарні логічні висловлювання та складові логічні висловлювання.

Складене логічне висловлювання - це висловлювання, утворене з інших висловлювань за допомогою логічних зв'язок.

Логічна зв'язка - це будь-яка логічна операція над висловлюванням. Наприклад, що вживаються в звичайній мові слова і словосполучення «не», «і», «або», «якщо ..., то», «тоді і тільки тоді» є логічними зв'язками.

Виконала Поліщук Дарія

Developed by Інститут Програмних Систем