# data[].attributes.headline
Означення мат логіки

# data[].attributes.subject
Означення мат логіки

# data[].attributes.body
Математична логіка вивчає математичні механізми, що підтверджують правильність утворення висновків з початкових умов, дозволяє використовувати математичні операції для побудови та аналізу тверджень звичайної мови.

Основним поняттям математичної логіки є поняття висловлення.

Висловлення –  це оповідальне речення, що містить певну інформацію і відносно нього можна казати, істинне воно чи хибне.
Значення істинності висловлення позначають 1 або true, якщо висловлення істинне, 0 або false, якщо висловлення
хибне.
Наприклад, висловлення А «Київ – столиця України» є істинним, тобто значення його властивості істинність дорівнює true.
Висловлення С «3 > 5» є хибним, тобто значення його властивості істинність дорівнює false.

# data[].attributes.headline
Таблиці істинності

# data[].attributes.subject
Таблиці істинності

# data[].attributes.body
Таблиця істинності містить всі можливі набори для позначення істинності простих висловлень, що входять до формули алгебри логіки, та дозволяє за правилами виконання логічних операцій визначити істинність складеного висловлення.

# data[].attributes.body
Запереченням висловлення А називається таке складене висловлення “не А”, яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне.

# data[].attributes.body
Кон’юнкцією двох висловлень А та В називається таке складене висловлення А /\ В (А & B, А і В, А кон’юнкція В), яке істинне тоді і тільки тоді, коли обидва висловлення А та В істинні. Операцію також називають логічним множенням.

# data[].attributes.body
Диз’юнкцією двох висловлень А та В називається таке складене висловлення A / B (А або В, А диз’юнкція В), яке істинне тоді і тільки тоді, коли істинне хоча б одне з висловлень А або В. Операцію також називають логічним додаванням.

# data[].attributes.body
Імплікацією двох висловлень А та В називається таке складене висловлення А → В (якщо А, то В; А імплікує В), яке хибне тоді і тільки тоді, коли умова А істинна, а наслідок В – хибний.

# data[].attributes.headline
Порядок виконання операцій

# data[].attributes.subject
Порядок виконання операцій

# data[].attributes.body
Спочатку виконуються дії в дужках, потім

заперечення,

кон’юнкція,

диз’юнкція,

імплікація,

еквіваленція.

# data[].attributes.headline
Еквіваленція

# data[].attributes.subject
Еквіваленція

# data[].attributes.body
Еквіваленцією висловлень А і В називається таке складене висловлення А ↔ В (А тоді і тільки тоді, коли В; А еквівалентне В), яке істинне тоді і тільки тоді, коли обидва компоненти одночасно істинні або одночасно хибні.

# data[].attributes.attachment_link.title
еквіваленція

# data[].attributes.headline
Логічні формули

# data[].attributes.subject
Логічні формули

# data[].attributes.attachment_link.title
Логічні формули

# data[].attributes.headline
Завданням алгебри логіки є визначення істинності логічних виразів

# data[].attributes.subject
Завданням алгебри логіки є визначення істинності логічних виразів