Розв’язок. Довести наступне твердження: «З тотожно хибної формули логічно виходить будь-яка формула»

Завдання 18.

Довести наступне твердження: «З тотожно хибної формули логічно виходить будь-яка формула».

8.4 Приклади аудиторних і домашніх завдань

Завдання 1. Визначити, які з даних речень є висловленнями:

1) «Волга впадає в Чорне море.»;

2) «Волга впадає в Каспійське море.»;

3) «Який сьогодні день?»;

4) «Відстань від Землі до Сонця дорівнює 150000000 км».

Перші два речення є висловленнями, причому перше є хибним висловленням, а друге - істинним. Третє речення висловленням не є (за визначенням), оскільки воно не оповідальне. Четверте речення також не є висловленням, тому що його істинність або хибність залежить від потрібної точності.

Завдання 2. Записати у вигляді формули логіки висловлень і визначити істиннісні значення наступних висловлень:

1) «Для того щоб , необхідно і достатньо, щоб .»;

2) « рівносильно тому, що .».

Дата добавления: 2014-12-07