3.2. Задачи

1. Указать, какие из следующих выражений являются формулами исчисления высказываний.

1) .

2) .

3) .

4) .

5) .

6) .

7) .

8) .

9) .

10) .

2. Какая из приведенных ниже записей является выводом формулы в исчислении высказываний?

1) По теореме, обратной теореме дедукции, ├ равносильно .

1. – гипотеза.

2. – гипотеза.

3. . MP 2,1.

2) По теореме, обратной теореме дедукции, ├ равносильно .

1. – гипотеза.

2. – гипотеза.

3. – гипотеза.

4. . MP 3,1.

5. . MP 2,4.

3) По теореме, обратной теореме дедукции, ├ равносильно .

1. – гипотеза.

2. – гипотеза.

3. – гипотеза.

4. . MP 2,1.

5. . MP 2,4.

3. Построить вывод формулы.

1) .

2) .

3) .

4) .

5) .

6) .

7) .

8) .

9) .

10) .

11) .

12) .

© 2011-2024 Контрольные работы по математике и другим предметам!