Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Являются ли пропозициональные формы равносильными?




Задание 1

1,2,3, 4, 5,6,7, 8,9,10,11.

1. Москва – столица России

2. Студент математического факультета педагогического университета

3. Треугольник АВС подобен треугольнику А` В` C`

4. Луна есть спутник Марса

5. Кислород-газ

6. Каша- вкусное блюдо

7. Математика- интересный предмет

8. Железо тяжелее свинца

9. Треугольник называется равносторонним, если его стороны равны

10. Который час?

11. Красиво!

Задание 2

А=«Сейчас идет дождь»
В=«Форточка открыта» с помощью логических связок

1. A и B
2. A или не B
3. если A, то B
4. не A и B
5. A тогда и только тогда, когда B

 

1.Сейчас идет дождь и форточка открыта

2.Сейчас идёт дождь или не форточка открыта

3.Если идёт дождь, то форточка открыта

4.Не идёт дождь и форточка открыта

5.Идёт дождь тогда и только тогда, когда форточка открыта.

 

Задание 3

1. Солнце есть спутник Земли (ЛОЖЬ)
2. Санкт–Петербург расположен на Неве (ИСТИНА)
3. Железо – металл (ИСТИНА)
4. Если один угол в треугольнике прямой, то треугольник будет тупоугольным (ЛОЖЬ)
5. Если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный (ИСТИНА)

Задание 4

1.Некоторые мои друзья собирают марки. (ЧАСТНОЕ)
2.Все лекарства неприятны на вкус .(ОБЩЕЕ)
3.Некоторые лекарства приятны на вкус .(ЧАСТНОЕ)
4.Я — последняя буква в алфавите .(ЕДЕНИЧНОЕ)

Задание 5

1) Высказывание "10 делится на 2 и 5 больше 3"
2) Высказывание "10 делится на 2 и 5 не больше 3»
3) Высказывание "10 не делится на 2 и 5 больше 3"
4) Высказывание "10 не делится на 2 и 5 не больше 3"

1. А = «10 делится на 2»

В = «5 больше 3»

А В А В
     

 

 

2. А = «10 делится на 2»

В = «5 не больше 3»

 

А В А В
     

 

3. А = «10 не делится на 2»

В = «5 больше 3»

 

А В А В
     

 

 

4. А = «10 не делится на 2»

В = «5 не больше 3»

А В А В
     

 

Задание 6

«Число 6 делится на 2, и число 6 делится на 3»

А= «число 6 делится на 2»

В= «число 6 делится на 3»

А В=F

Задание 7

А = {Принтер – устройство вывода информации}, (1)
В = {Процессор – устройство хранения информации}, (0)
С = {Монитор – устройство вывода информации}, (1
D = {Клавиатура – устройство обработки информации}. (0)

 

(А /\B) /\ (C \/ D)

Задание 7

А = {Принтер – устройство вывода информации}, (1)
В = {Процессор – устройство хранения информации}, (0)
С = {Монитор – устройство вывода информации}, (1)
D = {Клавиатура – устройство обработки информации}. (0)

А В С D А В А ^ В С D F(^)
                 

Задание 8

А - «эта ночь звездная»

В - «эта ночь холодная»

 

1) А \/ В

2) A /\ В

3) A \/ B

4) А /\ B

5) A \/ В

 

1. Эта ночь звёздная или эта ночь холодная (дизъюнкция)

2. Не эта ночь звёздная и эта ночь холодная (инверсия, конъюнкция)

3. Не эта ночь звёздная или не эта ночь холодная (инверсия, дизъюнкция, инверсия)

4. Эта ночь звёздная и не эта ночь холодная (конъюнкция, инверсия)

5. Не эта ночь звёздная или эта ночь холодная (инверсия, дизъюнкция)

Задание 9

1) Число 376 четное и трехзначное.

2) Неверно, что Солнце движется вокруг Земли.

1. А= «число 376 четное»

В = «четырехзначное»

F=А ^ B

2. F= A

 

Задание 10

1) Если Иванов здоров и богат, то он здоров.

2) Число является простым, если оно делится только на единицу и само на себя.

1. А = «Иванов здоров»

В = «Иванов богат»

С = «Он здоров»

А В С

2. А= «Число делится на 1»

В = «Число делится на себя»

С = «Число является простым»

А В С

 

 

Задание 11

(Первая буква имени гласная => Четвертая буква имени согласная)?

1) Елена 2) Вадим 3) Антон 4) Федор

 

А= «первая буква имени гласная»

В = «четвёртая буква имени согласная»

 

 

А=1

В=0

Т.к В=0- ложь, то 4 буква-гласная Антон

Задание 12

1.Кончил дело — гуляй смело. – ЕСЛИ кончил дело, ТО гуляй смело.

2.Знакомая дорога — самая короткая. – ЕСЛИ знакомая дорога, ТО самая короткая

3.Тише едешь — дальше будешь. – ЕСЛИ тише едешь, ТО дальше будешь

4.Переходи улицу только на зеленый свет. – ЕСЛИ переходи улицу, ТО только на зеленый свет

5.При встрече люди приветствуют друг друга. – ЕСЛИ люди встречаются, ТО они приветствуют. друг друга.

Задание 13

1. (A\/A) /\ ( B\/C/\D)

2. (A\/A) /\(С \/C/\D) \/B

 
 


1) * А 2) * A A

* (А \/ А) * A A

* С ^ D * C ^ D

* B C ^ D * C C ^ D

* (A\/A) /\ ( B\/C/\D) * (A\/A) /\(С \/C/\D)

* (A\/A) /\(С \/C/\D) \/B

 

Задание 14

А = {5>3} – 1 (истина) В = {2=3} – 0 (ложь) С = {4<2} – 0 (ложь)

1. (A \/ B) /\ C => (A/\C)\/ (B/\C);

2. (A/\B) \/ C<=> (A \/ C) /\ (A /\ B).

1.

А В С А В В) ^C A ^ C B^C (A ^ C) (B^C) F
                 

 

2.

А В С A ^ B (A ^ B) A ^ B A \/ C (A \/ C) /\ (A /\ B) F
                 

 

Задание 15

1) A/\ (B \/ B /\C)

2) (А\/ В)/\(А\/В)

3) (A \/ B) /\ С

4) A=>B <=> А \/ B

5) A<=>B<=>(А \/ B) /\ (B\/ А)

1. A/\ (B \/ B /\C)

1) n = 3

2) m =

3) кол-во проп. связок: 5

4) см. в таблицу

5) 3+5=8 – (кол-во столбцов)

 

А В С В С B /\ C B \/ B /\C F
               
               
               
               
               
               
               
               

 

 

2. (А\/ В)/\(А\/В)

1) n = 2

2) m =

3) кол-во проп. св.: 5

4) см. в таб.

5) 2 + 5 = 7 – (кол-во столбцов)

 

А В А В А\/ В А\/В F
             
             
             
             

 

3.(A\/B) /\ С

 

1) n = 3

2) m =

3) кол-во проп. св.: 3

4) см. в табл.

5) 3 + 3 = 6 – (кол-во столбцов)

 

А В С С A \/ B F
           
           
           
           
           
           
           
           

 

4) A=>B <=> А \/ B

1) n = 2

2) m = - (строки)

3) кол-во проп. св: 4

4) см. в таб.

5) 2 + 4 = 6 – (кол-во столбцов)

 

А В А А \/ B B <=> А \/ B F
           
           
           
           

 

5) A<=>B<=>(А \/ B) /\ (B\/ А)

1) n = 2

2) m = = 4 – (строки)

3) кол-во проп. св: 7

4) см. в табл.

5) 2+ 7 = 9 – (кол-во столбцов)

 

А В А B А \/ B B \/ А (А \/ B) /\ (B\/ А) B<=>(А \/ B) /\ (B\/ А) F
                 
                 
                 
                 

 

Задание 16

1) ((С \/В) => В) /\/\ В) => В

2) (А<=>В) \/ (С /\ В)

3) (А=>В) <=> (А=> В)

4) (А=>В) <=> (В=> А)

5) А=> (В =>А)

6) (А=> В) =>С

7) А=> (В =>С)

 

1) ((С \/В) => В) /\ (А /\ В) => В (T)

 

1) n = 3

2) m =

3) кол-во проп. св: 5

4) см. в табл.

5) 3 +5 =8- (столбцы)

А В С С \/ В (С \/ В) => В А /\ В ((С \/В) => В) /\ (А /\ В) ((С \/В) => В) /\ (А /\ В) => В
               
               
               
               
               
               
               
               

2) (А<=>В) \/ (С /\ В)

 

1) n = 3

2)

3)

4) см. в табл

5) 3 + 4 =7 – (столбцы)

А В С С С /\ В А<=>В F
             
             
             
             
             
             
             
             

3) (А=>В) <=> (А=> В)

 

1) n = 2

2)

3) Кол-во проп. св.: 5

4) См. в табл.

5) 2 + 5 = 7 – (столбцы)

А В А В А=>В А=> В F
             
             
             
             

4) (А=>В) <=> (В=> А) (T)

 

 

1) n = 2

2) - (строки)

3) Кол-во проп. св.: 5

4) См. в табл

5) 2 + 5 = 7 – (столбцы)

А В А В А=>В В=> А F
             
             
             
             

 

 

5) А=> (В =>А) (T)

1) n = 2

2)

3) Кол-во проп. св: 2

4) См. в табл.

5) 2 + 2 =4 – (столбцы)

А В В =>А А=> (В =>А)
       
       
       
       

6) (А=> В) =>С

1) n = 3

2)

3) Кол-во проп. св.: 2

4) См. в табл.

5) 3 + 2 =5 –(столбцы)

А В С А=> В (А=> В) =>С
         
         
         
         
         
         
         
         

7) А=> (В =>С)

1) n = 3

2)

3) Кол-во проп. св: 2

4) См. в табл.

5) 3 + 2 = 5 – (столбцы)

А В С В =>С А=> (В =>С)
         
         
         
         
         
         
         
         

 

 

Задание 17

Являются ли пропозициональные формы равносильными?

1) А <=> В и (A\/ B) /\ (A\/ B)

А <=> В (A\/ B) /\ (A\/ B)

A B А <=> В
     
     
     
     
A B A B (A\/ B) (A\/ B) (A\/ B) /\ (A\/ B)
             
             
             
             

Ответ: равны

 

2) (A \/ В) => (B \/ C) и B /\ A \/ C

A B C B /\ A B /\ A \/ C
         
         
         
         
         
         
         
         

(A \/ В) => (B \/ C) B /\ A \/ C

A B C (A \/ В) (B \/ C) (B \/ C) (A \/ В) => (B \/ C)
             
             
             
             
             
             
             
             

ОТВЕТ: НЕ РАВНЫ

Задание 18

Укажите, какое логическое выражение равносильно выражению:

A /\ (B \/ C)

А В С В (B \/ C) (B \/ C) A /\ (B \/ C)
             
             
             
             
             
             
             
             

 

1) A \/ B \/ C

А В С A B C A \/ B A \/ B \/ C
               
               
               
               
               
               
               
               

 

2) A /\ B /\ C

А В С B C A /\ B A /\ B /\ C
             
             
             
             
             
             
             
             

 

3) A /\ B /\ C

А В С C A /\ B A /\ B /\ C
           
           
           
           
           
           
           
           

ОТВЕТ: 3)

Задание 19

Поделиться:





Читайте также:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...