Логічне заперечення (інверсія) - студопедія

Визначення кон'юнкції двох висловлювань природним чином поширюється на будь-яке кінцеве число складових: кон'юнкція А1 A2 A3 . AN істинна тоді і тільки тоді, коли істинні всі висловлювання А1. A2. A3. AN (а, отже, помилкова, коли помилково хоча б одне з цих висловлювань).

Логічне додавання (диз'юнкція) від латинського disjunctio - роз'єднання, відмінність.

Якщо два висловлювання з'єднані союзом "АБО", то отримане складне висловлювання зазвичай вважається дійсним, коли істинно хоча б одне зі складових висловлювань. Наприклад, візьмемо два висловлювання: "Мел чорний." (А), "Дошка чорна." (В). Вислів "Мел чорний або дошка чорна" буде істинним, тому що одне з вихідних висловлювань (В) істинно.

Таким чином, диз'юнкція двох висловлювань називається таке нове висловлювання, яке істинно тоді і тільки тоді, коли істинно хоча б одне з цих висловлювань.

Визначення диз'юнкції двох висловлювань природним чином поширюється на будь-яке кінцеве число складових: диз'юнкція А1 V А2 V А3 V. V АN істинна тоді і тільки тоді, коли істинно хоча б одне з висловлювань А1, А2, А3. АN (а отже, помилкова, коли помилкові всі ці висловлювання).

Схожі статті