Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
semestr_2_mat_logika_12-13_IVT / ргр мл / РГР маn лог 12-13.docx
Скачиваний:
62
Добавлен:
02.03.2016
Размер:
133.43 Кб
Скачать

Расчетно-графическая работа по курсу "Математическая логика "

ИВТ 2 сенместр 12-13

«Алгебра и исчисление высказываний»

  1. Составить таблицу Поста и найти полные наборы и базисы из следующих функций.

Вариант

).

).


  1. Установить, является ли данная формула тождественно-истинной.

Вариант

(PQ)((QR)(P R)).

(PQ)((P (QR))(PR)).

(P R)((QR)((PQ)R)).

(QR)((PQ)(PR)).

((Q(RP))(R& (PQ)))R.

((PQ)(QR))&P R.

(Q(RP))(R& (P Q)).

(PQ)((QR)(P R)).

(PQ)((QR)(P R)).

((Q(RP))(R& (PQ)))R.

(PQ)((QR)(P R)).

(PQ)((P (QR))(PR)).

(P R)((QR)((PQ)R)).

(QR)((PQ)(PR)).

((Q(RP))(R& (PQ)))R.

((PQ)(QR))&P R.

(Q(RP))(R& (P Q)).

(PQ)((QR)(P R)).

(PQ)((QR)(P R)).

. ((Q(RP))(R& (PQ)))R.

(PQ)((QR)(P R)).

(PQ)((P (QR))(PR)).

(P R)((Q R)((PQ)R)).

(QR)((PQ)(PR)).

((Q(RP))(R& (PQ)))R.

(RP)((PQ)(R Q)).

((PQ)(QR))R.

(P&QR)(Q&R  P).

((PQ)(QR))R.

 (P&QR)Q.

  1. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

Вариант

Он и жнец, и швец, и на дуде игрец.

Идет дождь, и идет снег.

Он хороший студент или хороший спортсмен.

Если стальное колесо нагреть, то его диаметр увеличится.

Если воду охлаждать, то объем ее будет уменьшаться.

Он учится в институте или на курсах иностранных языков

Он способный и прилежный.

Эта книга сложная и неинтересная.

Он и швец, и жнец, и на дуде игрец

Если воду охлаждать, то объем ее будет уменьшаться.

Если число оканчивается нулем, оно делится на 5

Тело, лишенное опоры, падает на землю.

Иван и Петр знают Федора.

Эта книга полезная и интересная.

Этот актер играет в театре и не играет в кино.

Если собаку дразнить, она укусит

Если вы владеете английским языком, вы справитесь с этой работой

Если функция нечетная, то ее график симметричен относительно начала координат

Если число делится на 3, то сумма его цифр делится на 3

Если слово ставится в начале предложения, то оно пишется с большой буквы.

Иван и Марья любят друг друга

Плох тот солдат, который не мечтает стать генералом.

Если ряд сходится, то его общий член стремится к нулю.

Ни Иван, ни Федор не отличники.

Либо Иван, либо Петр знают Федора.

Если составить алгоритм и написать программу, то можно решить эту задачу.

Вечером мы пойдем на хоккей или будем смотреть его по телевизору.

Если я не выспался или голоден, я не могу заниматься.

Если налоги не будут снижены, то мелкие производители разорятся и оставят производство.

Если наша команда не займет первое место, мы останемся дома и будем тренироваться.

  1. Проверить вывод методом резолюций.

Вариант

A(BC),A,BD,CD├D.

A(BC),AC,B C.

A&C B , A, B  D, C D.

A B, A C, B  D C D.

A,C,A&CD,DB├B.

A(BC),AB,CB.

A,A(BC),BD,CD.

(AC)(AB) ├AB.

BC,CA,BD,DAA.

B(DC),D,CAB) ├AB.

C,DC,A(BD),BAC.

AC,A  B, C B,├AB C).

BCA),BD,C,DA.

A,A(BC),D B,CD.

B(CA),BD,DC, ├C.

A&CB,BD,A,C├D.

BC,CA,DB,DAA.

A,A(BC),BD,CD.

C(BA),BD,CAD.

AC,C B,B A├AB C).

A(CB),DA,CDB.

C,A&CD,BDB.

A(CB),DA,CDB.

B(DC),D,CAB) ├BA.

A(BC),AC,B C.

A,BC├ (AC)B

C,DC,A(DB),B├A.

BC,CA,DB,DAA.

A&CB,A,DB,C├D.

A(BC),AB,CB.

Соседние файлы в папке ргр мл