Задание {{ 234 }} ТЗ № 234
Для формулы £
R
£
£
Задание {{ 235 }} ТЗ № 235 Для формулы R
£
£
£
Задание {{ 236 }} ТЗ № 236 Для формулы £
£
R
£
Задание {{ 237 }} ТЗ № 237 Для формулы £
R
£
£
Задание {{ 238 }} ТЗ № 238 Для формулы £
R доказуема
£ тождественно истинно
£ доказуема
Задание {{ 248 }} ТЗ № 248 Если из R из
£
£ из
£ доказуема
Задание {{ 249 }} ТЗ № 249 Среди следующих последовательностей формул доказательством является £
£
R
£
|