Відмінності між версіями «Висловлювання (логіка)»!!!
111 (обговорення • внесок) (Створена сторінка: '''Висловлювання''' - термін математичної логіки, що означає формалізований структурован...) |
111 (обговорення • внесок) |
||
| Рядок 6: | Рядок 6: | ||
'''Логічна зв'язка''' - це будь-яка логічна операція над висловлюванням. Наприклад, що вживаються в звичайній мові слова і словосполучення «не», «і», «або», «якщо ..., то», «тоді і тільки тоді» є логічними зв'язками. | '''Логічна зв'язка''' - це будь-яка логічна операція над висловлюванням. Наприклад, що вживаються в звичайній мові слова і словосполучення «не», «і», «або», «якщо ..., то», «тоді і тільки тоді» є логічними зв'язками. | ||
| + | |||
| + | '''Виконала Поліщук Дарія''' | ||
Версія за 12:34, 18 лютого 2018
Висловлювання - термін математичної логіки, що означає формалізований структурований запис думки за допомогою буквених символів і логічних зв'язкив, що розглядається з точки зору істиннісних значень. Це твердження, для якого оцінюється логічне значення: хиба або істина. Логічне висловлювання прийнято позначати великими латинськими літерами. Є основним об'єктом логіки висловлювань.
Логічні висловлювання прийнято поділяти на два види: елементарні логічні висловлювання та складові логічні висловлювання.
Складене логічне висловлювання - це висловлювання, утворене з інших висловлювань за допомогою логічних зв'язок.
Логічна зв'язка - це будь-яка логічна операція над висловлюванням. Наприклад, що вживаються в звичайній мові слова і словосполучення «не», «і», «або», «якщо ..., то», «тоді і тільки тоді» є логічними зв'язками.
Виконала Поліщук Дарія
Developed by Інститут Програмних Систем
