Файл:Relation1111.svg
З Вікіпедії, безкоштовно encyclopedia
Розмір цього попереднього перегляду PNG для вихідного SVG-файлу: 384 × 280 пікселів. Інші роздільності: 320 × 233 пікселів | 640 × 467 пікселів | 1024 × 747 пікселів | 1280 × 933 пікселів | 2560 × 1867 пікселів.
Повна роздільність (SVG-файл, номінально 384 × 280 пікселів, розмір файлу: 3 КБ)
Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа. |
PLATO
Опис файлу
This Venn diagram is meant to represent the special case of a relation between two sets in set theory,
or two statements in propositional logic respectively.
Example (for sets):
The sets and are not equivalent in general: They are equivalent when .
The sets and are always equivalent: is a tautology.
This is what tells. It's shown at the top of the right one of the below diagrams.
∅c |
A = A |
|||||||||||||
Ac Bc |
true A ↔ A |
A B |
A Bc |
AA |
A Bc |
|||||||||
A Bc |
¬A ¬B A → ¬B |
A B |
A B A ← ¬B |
Ac B |
A B |
A¬B |
A = Bc |
A¬B |
A B |
|||||
Bc |
A ¬B A ← B |
A |
A B A ↔ ¬B |
Ac |
¬A B A → B |
B |
B = ∅ |
AB |
A = ∅c |
A¬B |
A = ∅ |
AB |
B = ∅c | |
¬B |
A Bc |
A |
(A B)c |
¬A |
Ac B |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
A ¬B |
Ac Bc |
A B |
A B |
¬A B |
AB |
|||||||||
¬A ¬B |
∅ |
A B |
A = Ac |
|||||||||||
false A ↔ ¬A |
A¬A |
|||||||||||||
These sets (statements) have complements (negations). They are in the opposite position within this matrix. |
These relations are statements, and have negations. They are shown in a separate matrix in the box below. |
more relations | ||||
---|---|---|---|---|
|
Set theory: Logic: |
subset implication |
disjoint contrary |
subdisjoint subcontrary |
equal equivalent |
complementary contradictory |
Public domainPublic domainfalsefalse |
Це зображення не захищається авторським правом, тому що є тривіальним, не несе художньої цінності, складається тільки із загальновідомих елементів, які не мають автора. |
Об'єкти, показані на цьому файлі
зображує
image/svg+xml
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
---|---|---|---|---|---|
поточний | 22:51, 7 травня 2010 | 384 × 280 (3 КБ) | Watchduck | layout change | |
18:01, 26 липня 2009 | 384 × 280 (4 КБ) | Watchduck | |||
16:16, 10 квітня 2009 | 615 × 463 (4 КБ) | Watchduck | {{Information |Description={{en|1=Venn diagrams of the sixteen 2-ary Boolean '''relations'''. Black (0) marks empty areas (compare empty set). White (1) means, that there ''could'' be something. There are corresponding diagrams of th |
Використання файлу
Нема сторінок, що використовують цей файл.
Глобальне використання файлу
Цей файл використовують такі інші вікі:
- Використання в en.wikiversity.org