Файлы
Заказать работу
Обратная связь
Для правообладателей
Найти
Гладкий А.В. Введение в современную логику
Файлы
Академическая и специальная литература
Философские дисциплины
Логика
Назад
Скачать
Подождите немного. Документ загружается.
...
T
∀
x
1
F
1
(
x
1
)&
...
&
&
∀
x
n
F
n
(
x
n
)
T
B
T
→
B
B
T
B
T
F
i
(
a
)
a
F
i
T
F
i
(
a
)
i
=1
,...,n
a
F
i
...
∀
xF
(
x
)
∃
xF
(
x
)
¬∃
xG
(
x
)
G
(
x
)
¬
F
(
x
)
∃
xF
(
x
)
‹
1
2
...
12
13
14
15
16
17
18
19
20
›
