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

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

ИВТ 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.

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