Skip to main content
LibreTexts - Ukrayinska

11.6: Глосарій

  1. Last updated
  2. Save as PDF
  • Page ID
    52508

    • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    попередня Якщо частина умовного.

    умовний оператор if-then.

    наслідком Тодішньої частини умовного.

    суперечливий Логічна невідповідність між двома твердженнями, в яких одне повинно бути істинним, а інше - помилковим.

    навпаки Логічна невідповідність між двома твердженнями, коли обидва можуть бути одночасно помилковими.

    помилковість ствердження послідовного A дедуктивного аргументу виду «Якщо P то Q; Q; so, P.»

    помилковість заперечення попереднього дедуктивного аргументу A виду «Якщо P то Q; not-p; так не-Q».

    логічна форма протиріччя Форма твердження «П і не-п».

    логічно аналогічний Маючи ту ж логічну форму.

    логічно еквівалентний Логічно маючи на увазі один одного. Крім того, ми можемо сказати, що два твердження логічно еквівалентні, якщо вони вірні в одних і тих же ситуаціях і помилкові в тих же ситуаціях.

    modus ponens Дедуктивний аргумент виду «Якщо P, то Q; P; so Q.»

    modus tollens Дедуктивний аргумент виду «Якщо P, то Q; not-Q; так не-P».

    заперечення Заперечення твердження P - це твердження виду «not-P», що є істинним, коли P є хибним, і що є помилковим, коли P істинно.

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