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