Dosya:Venn1001.svg - Vikipedi
İçeriğe atla
Ana menü
Gezinti
  • Anasayfa
  • Hakkımızda
  • İçindekiler
  • Rastgele madde
  • Seçkin içerik
  • Yakınımdakiler
Katılım
  • Deneme tahtası
  • Köy çeşmesi
  • Son değişiklikler
  • Dosya yükle
  • Topluluk portalı
  • Wikimedia dükkânı
  • Yardım
  • Özel sayfalar
Vikipedi Özgür Ansiklopedi
Ara
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç

Dosya:Venn1001.svg

Sayfa içeriği diğer dillerde desteklenmemektedir.
  • Dosya
  • Tartışma
  • Oku
  • Wikimedia Commons üzerinde gör
  • Yerel açıklama ekle
  • Yerel açıklama kaynağı ekle
Araçlar
Eylemler
  • Oku
  • Wikimedia Commons üzerinde gör
  • Yerel açıklama ekle
  • Yerel açıklama kaynağı ekle
Genel
  • Sayfaya bağlantılar
  • Basılmaya uygun görünüm
  • Sayfa bilgisi
  • Kısaltılmış URL'yi al
  • Karekodu indir
Diğer projelerde
Görünüm
Vikipedi, özgür ansiklopedi
  • Dosya
  • Dosya geçmişi
  • Dosya kullanımı
  • Küresel dosya kullanımı
  • Üstveri
Dosya:Venn1001.svg
Bu SVG dosyasının PNG önizlemesinin boyutu: 384 × 280 piksel. Diğer çözünürlükler: 320 × 233 piksel | 640 × 467 piksel | 1.024 × 747 piksel | 1.280 × 933 piksel | 2.560 × 1.867 piksel.
Tam çözünürlük (SVG dosyası, sözde 384 × 280 piksel, dosya boyutu: 3 KB)
Bu dosya Wikimedia Commons'ta bulunmaktadır. Dosyanın açıklaması aşağıda gösterilmiştir.
Commons, serbest/özgür telifli medya dosyalarının bulundurulduğu depodur. Siz de yardım edebilirsiniz.
Bu dosya Wikimedia Commons'ta bulunmaktadır.

Özet

One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:

X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬X


Operations and relations in set theory and logic

 
∅c		           
A = A
1111 1111
 
Ac  ∪ {\displaystyle \scriptstyle \cup } {\displaystyle \scriptstyle \cup } Bc		 true
A ↔ A		  
A  ∪ {\displaystyle \scriptstyle \cup } {\displaystyle \scriptstyle \cup } B		  
A  ⊆ {\displaystyle \scriptstyle \subseteq } {\displaystyle \scriptstyle \subseteq } Bc		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }A
 		  
A  ⊇ {\displaystyle \scriptstyle \supseteq } {\displaystyle \scriptstyle \supseteq } Bc
1110 0111 1110 0111
 
A  ∪ {\displaystyle \scriptstyle \cup } {\displaystyle \scriptstyle \cup } Bc		 ¬A  ∨ {\displaystyle \scriptstyle \lor } {\displaystyle \scriptstyle \lor } ¬B
A → ¬B		  
A  Δ {\displaystyle \scriptstyle \Delta } {\displaystyle \scriptstyle \Delta } B		 A  ∨ {\displaystyle \scriptstyle \lor } {\displaystyle \scriptstyle \lor } B
A ← ¬B		  
Ac ∪ {\displaystyle \scriptstyle \cup } {\displaystyle \scriptstyle \cup } B		  
A ⊇ {\displaystyle \scriptstyle \supseteq } {\displaystyle \scriptstyle \supseteq } B		 A ⇒ {\displaystyle \scriptstyle \Rightarrow } {\displaystyle \scriptstyle \Rightarrow }¬B
 		  
A = Bc		 A ⇐ {\displaystyle \scriptstyle \Leftarrow } {\displaystyle \scriptstyle \Leftarrow }¬B
 		  
A ⊆ {\displaystyle \scriptstyle \subseteq } {\displaystyle \scriptstyle \subseteq } B
1101 0110 1011 1101 0110 1011
 
Bc		 A  ∨ {\displaystyle \scriptstyle \lor } {\displaystyle \scriptstyle \lor } ¬B
A ← B		  
A		 A  ⊕ {\displaystyle \scriptstyle \oplus } {\displaystyle \scriptstyle \oplus } B
A ↔ ¬B		  
Ac		 ¬A  ∨ {\displaystyle \scriptstyle \lor } {\displaystyle \scriptstyle \lor } B
A → B		  
B		  
B = ∅		 A ⇐ {\displaystyle \scriptstyle \Leftarrow } {\displaystyle \scriptstyle \Leftarrow }B
 		  
A = ∅c		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }¬B
 		  
A = ∅		 A ⇒ {\displaystyle \scriptstyle \Rightarrow } {\displaystyle \scriptstyle \Rightarrow }B
 		  
B = ∅c
1100 0101 1010 0011 1100 0101 1010 0011
¬B
 		  
A  ∩ {\displaystyle \scriptstyle \cap } {\displaystyle \scriptstyle \cap } Bc		 A
 		  
(A  Δ {\displaystyle \scriptstyle \Delta } {\displaystyle \scriptstyle \Delta } B)c		 ¬A
 		  
Ac  ∩ {\displaystyle \scriptstyle \cap } {\displaystyle \scriptstyle \cap } B		 B
 		 B ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }false
 		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }true
 		  
A = B		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }false
 		 B ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }true
 
0100 1001 0010 0100 1001 0010
A  ∧ {\displaystyle \scriptstyle \land } {\displaystyle \scriptstyle \land } ¬B
 		  
Ac  ∩ {\displaystyle \scriptstyle \cap } {\displaystyle \scriptstyle \cap } Bc		 A  ↔ {\displaystyle \scriptstyle \leftrightarrow } {\displaystyle \scriptstyle \leftrightarrow } B
 		  
A  ∩ {\displaystyle \scriptstyle \cap } {\displaystyle \scriptstyle \cap } B		 ¬A  ∧ {\displaystyle \scriptstyle \land } {\displaystyle \scriptstyle \land } B
 		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }B
 
1000 0001 1000 0001
¬A  ∧ {\displaystyle \scriptstyle \land } {\displaystyle \scriptstyle \land } ¬B
 		  
∅		 A  ∧ {\displaystyle \scriptstyle \land } {\displaystyle \scriptstyle \land } B
 		  
A = Ac
0000 0000
false
A ↔ ¬A		 A ⇔ {\displaystyle \scriptstyle \Leftrightarrow } {\displaystyle \scriptstyle \Leftrightarrow }¬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

The operations, arranged in the same matrix as above.
The 2x2 matrices show the same information like the Venn diagrams.
(This matrix is similar to this Hasse diagram.) 
 
In set theory the Venn diagrams represent the set,
which is marked in red.
 

These 15 relations, except the empty one, are minterms and can be the case.
The relations in the files below are disjunctions. The red fields of their 4x4 matrices tell, in which of these cases the relation is true.
(Inherently only conjunctions can be the case. Disjunctions are true in several cases.)
In set theory the Venn diagrams tell,
that there is an element in every red,
and there is no element in any black intersection.

Negations of the relations in the matrix on the right.
In the Venn diagrams the negation exchanges black and red.
 
In set theory the Venn diagrams tell,
that there is an element in one of the red intersections.
(The existential quantifications for the red intersections are combined by or.
They can be combined by the exclusive or as well.)

Relations like subset and implication,
arranged in the same kind of matrix as above.
 
In set theory the Venn diagrams tell,
that there is no element in any black intersection.
 
 



Public domainPublic domainfalsefalse
Bu çalışma telif hakkı için uygun değildir ve bu nedenle kamu malı kapsamındadır çünkü tamamen ortak mülkiyet ve orijinal yazarlık içermez.

Altyazılar

Bu dosyanın temsil ettiği şeyin tek satırlık açıklamasını ekleyin.

Bu dosyada gösterilen öğeler

betimlenen

telif hakkı durumu

kamu malı

ortam türü

image/svg+xml

dosya boyutu

3.031 bayt

sağlama toplamı

6f4b1a165dc707f9af63a825f331a831370ac38e

tespit yöntemi: SHA-1

Dosya geçmişi

Dosyanın herhangi bir zamandaki hâli için ilgili tarih/saat kısmına tıklayın.

Tarih/SaatKüçük resimBoyutlarKullanıcıYorum
güncel21.07, 23 Ocak 202521.07, 23 Ocak 2025 tarihindeki sürümün küçültülmüş hâli384 × 280 (3 KB)Watchduckcorrect size
22.19, 28 Eylül 202422.19, 28 Eylül 2024 tarihindeki sürümün küçültülmüş hâli410 × 299 (3 KB)WatchduckShade of red and thinner lines match other image sets.
15.36, 16 Temmuz 202415.36, 16 Temmuz 2024 tarihindeki sürümün küçültülmüş hâli400 × 300 (617 bayt)AntonsusiValid SVG
23.11, 1 Mart 202423.11, 1 Mart 2024 tarihindeki sürümün küçültülmüş hâli384 × 280 (3 KB)Watchduckcleaner code and lighter red (overwritten with Pywikibot)
14.11, 26 Temmuz 200914.11, 26 Temmuz 2009 tarihindeki sürümün küçültülmüş hâli384 × 280 (3 KB)Watchduck
13.31, 26 Ocak 200813.31, 26 Ocak 2008 tarihindeki sürümün küçültülmüş hâli615 × 463 (4 KB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
16.04, 22 Ocak 200816.04, 22 Ocak 2008 tarihindeki sürümün küçültülmüş hâli615 × 463 (4 KB)Watchduck{{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }}

Dosya kullanımı

Bu görüntü dosyasına bağlantısı olan sayfalar:

  • Doğru (mantık)
  • Doğruluk değeri
  • Totoloji (mantık)
  • Tutarlılık
  • Yanlış (mantık)
  • Çelişki
  • Şablon:Mantıksal doğruluk

Küresel dosya kullanımı

Aşağıdaki diğer vikiler bu dosyayı kullanmaktadır:

  • ar.wikipedia.org üzerinde kullanımı
    • نظرية
    • مبرهنة
    • إذا وفقط إذا
    • تحصيل حاصل
    • برهان فلسفي
    • قيمة صواب
    • اتساق
    • حقيقة منطقية
    • قالب:حقيقة منطقية
    • تكافؤ منطقي
    • جملة ذرية
    • متغير افتراضي
    • شرطاني منطقي
  • de.wikipedia.org üzerinde kullanımı
    • Bikonditional
    • Benutzer:Bin im Garten/Mathematik/Mengen
    • Portal Diskussion:Mathematik/Archiv/2024/2
  • de.wikibooks.org üzerinde kullanımı
    • Formelsammlung Mathematik: Mengenlehre
  • de.wikiversity.org üzerinde kullanımı
    • Benutzer:Watchduck/Spielwiese
  • en.wikipedia.org üzerinde kullanımı
    • If and only if
    • Logical connective
    • Sheffer stroke
    • Theorem
    • Consistency
    • Truth value
    • Logical biconditional
    • False (logic)
    • Truth function
    • Formal proof
    • Logical equality
    • Theory (mathematical logic)
    • Logical truth
    • Tautology (logic)
    • Template:Logical truth
    • Wikipedia:School and university projects/Discrete and numerical mathematics/Learning plan
    • User talk:YBG/Archive 6
    • User:Sedentarycephalopod/sandbox
    • User:LinguisticMystic/L
  • en.wikiversity.org üzerinde kullanımı
    • User:Watchduck/Logic
    • Deductive Logic/Truth Functions
    • Linear Boolean functions
    • Template:Linear Boolean functions/table 2
    • Boolf prop/3-ary/praetor
    • Boolf prop/3-ary/reverse splice
    • Boolf prop/3-ary/latitude
    • Boolf prop/3-ary/longitude
    • Boolf prop/3-ary/lamb 1
    • Boolf prop/3-ary/lamb 01
    • Boolf prop/3-ary/lamb 2
    • Boolf prop/3-ary/lamb 02
    • Boolf prop/3-ary/lamb 12

Bu dosyanın daha fazla küresel kullanımını görüntüle.

Üstveri

Bu dosyada, muhtemelen fotoğraf makinesi ya da tarayıcı tarafından eklenmiş ek bilgiler mevcuttur. Eğer dosyada sonradan değişiklik yapıldıysa, bazı bilgiler yeni değişikliğe göre eski kalmış olabilir.

Genişlik384.07965
Yükseklik279.84244
"https://tr.wikipedia.org/wiki/Dosya:Venn1001.svg" sayfasından alınmıştır
  • Gizlilik politikası
  • Vikipedi hakkında
  • Sorumluluk reddi
  • Davranış Kuralları
  • Geliştiriciler
  • İstatistikler
  • Çerez politikası
  • Mobil görünüm
  • Wikimedia Foundation
  • Powered by MediaWiki
Dosya:Venn1001.svg
Konu ekle