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) 
.
| < Предыдущая | Следующая > |
|---|
