Напишем:


✔ Реферат от 200 руб.
✔ Контрольную от 200 руб.
✔ Курсовую от 500 руб.
✔ Решим задачу от 20 руб.
✔ Дипломную работу от 3000 руб.
✔ Другие виды работ по договоренности.

Узнать стоимость!

Не интересно!

 

- , ,

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Общезначимость в исчислении предикатов

Формула общезначима в поле, если она принимает значение T при каждом приписывании  значений предикатным символам и свободным переменным в ней. Формула общезначима, если она общезначима во всяком поле. Тот факт, что формула А общезначима, мы будем выражать так:

|=A

 

Авторизация на сайте

Случайная новость