Если S не пусто, , то для того, чтобы F был фильтром нужно:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Теория Г противоречива, если в ней выводима
• # Из множества всех истинных в N формул сигнатуры не выводится формула:
• # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
• # Если T1, T2 - теории сигнатуры с равенством, то:
• # Если А, В, С - формулы, то: