3.2.1. Заперечення, його умови істинності

Розглянемо два простих висловлювання

1. Київ розташований на Дніпрі

2. Невірно, що Київ розташований на Дніпрі

Позначимо перше висловлювання пропозицшною змінною р, тоді друге висловлювання можна символічно записати як - р (читається «Невірно, що р»)

Перше із цих двох висловлювань буде істинним, тобто воно відповідає дійсності Друге висловлювання навпаки буде хибним, бо в ньому заперечується той факт, який виражено у першому висловлюванні

Тепер проаналізуємо другу пару простих висловлювань

1. Київ розташований на Волзі

2. Невірно, що Київ розташований на Волзі

Перше з цих двох висловлювань буде хибним, бо у дійсності той факт, який у ньому описується, не існує Якщо перед цим висловлюванням поставити сполучник «невірно, що », тоді з його допомогою стає можливим заперечити той факт, який у ньому описується В зв'язку з цим друге висловлювання, в якому було здійснене заперечення, може бути оцінене як істинне

Таким чином, логічний сполучник «заперечення» творить із істинного висловлювання хибне, а із хибного — істинне.

Ці факти виражаються в таблиці істинності заперечення таким чином

№	А	~А
1	і	X
2	X	і

94

б) визначити логічні сполучники, що зв"язують прості висловлювання, та позначити їх відповідними знаками,

в) записати формулу

Наприклад, висловлювання "При здійсненні судочинства судді незалежні і підкоряються тільки законові" за допомогою знакових засобів лопки висловлювань формалізується у вигляді р л q , де р - "При здійсненні судочинства судді незалежні",

q - "При здійсненні судочинства судді підкоряються тільки законові" Ще один приклад Висловлювання "Якщо усякий злочин карається, а крадіжка чужого майна злочинна, тоді вона також карається" мовою лопки висловлювань можна записати таким чином (р л q) -» г де р - "Усякий злочин карається",

q - "Крадіжка чужого майна злочинна", г - "Вона також карається".

Цей матеріал можна подивитися у підручнику Хоменко IB Логіка -юристам - К, 1997 - С 38-44 (теорія), С 255-257 (практика)

Контрольні запитання

1. Як можна визначити дескриптивне висловлювання? Наведіть приклади

2. Як називається лопка, в рамках якої вивчаються дескриптивні висловлювання?

3. Що таке лопчне значення висловлювання?

4. Дайте визначення простого та складного висловлювання'' Наведіть приклади

5. Охарактеризуйте мову лопки висловлювань?

6. Який алгоритм формалізації висловлювань?

№	A	В	АлВ
1	і	і	і
2	і	X	X
3	X	I	X
4	X	X	X

Виразу 'АлВ"у природній мові, а також у юридичному законодавстві та правовій науці, крім «А і В», можуть відповідати також вирази «А разом із В», «Як А, так і В», «А у той час, як В», «В, хоча і A», «Не лише А, аж и В», «А, а також В», «A, В» та інші

Наприклад, у статті 3 «Підстави кримінальної відповідальності» Кримінального кодексу України «Ніхто не може бути визнаний винним у вчиненні злочину, а також підданий кримінальному покаранню інакше як за вироком суду й відповідно до закону» лопчний сполучник «кон юнкщя» зас­тосовується двічі У першому випадку він виражається словами «а також», у другому — сполучником «й»