10 клас. Математична логіка (основи) by Катерина Юріївна Скрипник https://padlet.com/skripnik19927/nw17dr5c3krm1l3t Зроблено з найкращими намірами en-us 2022-02-11 09:01:32 UTC 2022-02-11 11:40:28 UTC hello@padlet.com Означення мат логіки skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042029434 Математична логіка вивчає математичні механізми, що підтверджують правильність утворення висновків з початкових умов, дозволяє використовувати математичні операції для побудови та аналізу тверджень звичайної мови.
Основним поняттям математичної логіки є поняття висловлення.
Висловлення –  це оповідальне речення, що містить певну інформацію і відносно нього можна казати, істинне воно чи хибне.
 Значення істинності висловлення позначають 1 або true, якщо висловлення істинне, 0 або false, якщо висловлення
хибне. 
Наприклад, висловлення А «Київ – столиця України» є істинним, тобто значення його властивості істинність дорівнює true. 
Висловлення С «3 > 5» є хибним, тобто значення його властивості істинність дорівнює false.
]]> 2022-02-11 09:19:11 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042029434 Заперечення skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042034993 Запереченням висловлення А називається таке складене висловлення “не А”, яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне.]]> 2022-02-11 09:23:03 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042034993 Кон'юнкція skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042171790 Кон’юнкцією двох висловлень А та В називається таке складене висловлення А /\ В (А & B, А і В, А кон’юнкція В), яке істинне тоді і тільки тоді, коли обидва висловлення А та В істинні. Операцію також називають логічним множенням.]]> 2022-02-11 11:07:21 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042171790 Диз'юнкція skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042172076 Диз’юнкцією двох висловлень А та В називається таке складене висловлення A \/ B (А або В, А диз’юнкція В), яке істинне тоді і тільки тоді, коли істинне хоча б одне з висловлень А або В. Операцію також називають логічним додаванням.]]> 2022-02-11 11:07:37 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042172076 Імплікація skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042172737 Імплікацією двох висловлень А та В називається таке складене висловлення А → В (якщо А, то В; А імплікує В), яке хибне тоді і тільки тоді, коли умова А істинна, а наслідок В – хибний.]]> 2022-02-11 11:08:10 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042172737 Еквіваленція skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042173074 Еквіваленцією висловлень А і В називається таке складене висловлення А ↔ В (А тоді і тільки тоді, коли В; А еквівалентне В), яке істинне тоді і тільки тоді, коли обидва компоненти одночасно істинні або одночасно хибні.]]> 2022-02-11 11:08:30 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042173074 Порядок виконання операцій skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042175605 Спочатку виконуються дії в дужках, потім 
  • заперечення, 
  • кон’юнкція, 
  • диз’юнкція, 
  • імплікація, 
  • еквіваленція.
]]> 2022-02-11 11:10:46 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042175605 Таблиці істинності skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042176237 Таблиця істинності містить всі можливі набори для позначення істинності простих висловлень, що входять до формули алгебри логіки, та дозволяє за правилами виконання логічних операцій визначити істинність складеного висловлення.]]> 2022-02-11 11:11:20 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042176237 Логічні формули skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042191506 2022-02-11 11:23:43 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042191506 Завданням алгебри логіки є визначення істинності логічних виразів skripnik19927 https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042197328 2022-02-11 11:27:56 UTC https://padlet.com/skripnik19927/nw17dr5c3krm1l3t/wish/2042197328