Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Теорема (об основных равносильностях с кванторами).

Читайте также:
  1. I. Формирование основных движений органов артикуля­ции, выработка их определённых положений проводится по­средством артикуляционной гимнастики.
  2. S231 П Сингл (Магнитное поле движущегося заряда, теорема о циркуляции)
  3. V. Организация работы по реализации основных положений концепции
  4. А. Положение основных слоев российского общества в пореформенное время
  5. АМОРТИЗАЦИЯ КАК КАТЕГОРИЯ УЧЕТА ИЗНОСА ОСНОВНЫХ ФОНДОВ.
  6. Амортизация основных фондов. Порядок начисления амортизационных отчислений по основным фондам в народном хозяйстве Российской Федерации
  7. Анализ десяти основных целевых групп общественности

(1) " x Î A P(x, y) º " z Î A P(z, y), $ x Î A P(x, y) º $ z Î A P(z, y),

(2) " x Î A (" y Î A P(x, y, z)) º " y Î A (" x Î A P(x, y, z)),

$ x Î A ($ y Î A P(x, y)) º $ y Î A ($ x Î A P(x, y)) (для разноимённых кванторов неверно),

(3) º $ x Î A (x, y), $ x Î A P(x, y) º ,

º " x Î A (x, y), " x Î A P(x, y) º ,

(4) (" x Î A P(x, y)) Ù (" x Î A Q(x, y)) º " x Î A (P(x, y) Ù Q(x, y)) (для Ú неверно ),

(5) ($ x Î A P(x, y)) Ú ($ x Î A Q(x, y)) º $ x Î A (P(x, y) Ú Q(x, y)) (для Ù неверно ).

(6) (" x Î А Р(х, y)) Ú R(y) º " x Î A (P(x, y) Ú R(y)), ($ x Î А Р(х, y)) Ú R(y) º $ x Î A (P(x, y) Ú R(y)),

(7) (" x Î А Р(х, y )) Ù R( y ) º (" x Î А (Р(x, y ) Ù R( y )),

($ x Î А Р(х, y )) Ù R( y ) º ($ x Î А (Р(x, y ) Ù R( y ))

(8) " х Î А (R( y ) ® Р(х, y )) º R( y ) ® (" x Î А Р(х, y )), $ х Î А (R( y ) ® Р(х, y )) º R( y ) ® ($ x Î А Р(х, y )).

(в равносильностях (6), (7), (8) R( y ) не зависит от x),


Дата добавления: 2015-07-15; просмотров: 93 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Процесс создания денег называется кредитным расширением или кредитной мультипликацией.| А. Источники предложения и цели спроса

mybiblioteka.su - 2015-2024 год. (0.006 сек.)