Слишком сложно? Тогда запросите консультацию специалиста!
Наша компания занимается тем, что помогает студентам выполнять различные учебные работы на заказ. Вы можете ознакомиться с перечнем выполняемых работ, а так же с их стоимостью на странице с ценами.
|
| |||||||||||||||||||||
|
|
В каждом из этих пяти правил вывода, одно или два выражения над горизонтальной чертой представляют ``посылки', к которым правило может быть применено, и выражение под чертой представляет ``заключение' которое выводится по этому правилу. Правила В& и ВÉ – ``правила введения' конъюнкции и импликации; У& и УÉ – ``правила удаления'. Подставляя конкретные формулы вместо метапеременных F иG и конкретные конечные множества формул вместо метапеременной G некоторое правило вывода, мы получаем пример этого правила. Например,
{q, r} |– p  {p Ú q, r} |– q
|
| {q, r, p Ú q} |– p & q |
есть пример правила введения конъюнкции.
Пример простого вывода. . Выведем формулу q из посылки p & q. Этот вывод получается за один шаг с помощью второго правила удаления конъюнкции.
| {q} |– q | |
| (У&) | |
| {p & q} |– q |
2.26Найдите вывод q & p из p & q.
см. Решение
В двух следующих задачах выведите данную формулу из пустого множества посылок.
2.27 (p & p) É p.
2.28(p & p) º p.
Услуги
НАШ СЕРВИС
