![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
хР(х) – квантор общности (означает “для любого х выполняется
Р (х)”.)
хР(х) – квантор существования (означает “существует х, для которого выполняется Р (х)”.)
Р ⇒ Q – импликация (“из Р следует Q ”)
⟺ - эквивалентность (“тогда и только тогда”)
Р ∧ Q – конъюнкция (“Р и Q”)
Р ∨ Q – дизъюнкция (“Р или Q”)
Не Р или - отрицание Р
: = - символы присвоения (“положим”)
def – (“положим по определению”)
Используя эти символы можно записать:
1) (А = В) ⟺(( х ∈ А ⇒ х ∈ В) ∧ (
х ∈ В ⇒ х ∈ А)
2) (А ⊆ В) ⟺ ( х/х ∈А ⇒ х ∈ В)
3) (А = В) ⟺ (В ⊂ А ∧ А⊂ В)
∩
Дата публикования: 2014-10-20; Прочитано: 407 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!