Jewiki unterstützen. Jewiki, die größte Online-Enzy­klo­pädie zum Judentum.

Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ...

Vielen Dank für Ihr Engagement! (→ Spendenkonten)

How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida

Datei:Predicate logic; 2 variables; example matrix a1e2.svg

Aus Jewiki
Zur Navigation springen Zur Suche springen

Originaldatei ‎(SVG-Datei, Basisgröße: 230 × 230 Pixel, Dateigröße: 15 KB)

Diese Datei stammt aus einem gemeinsam genutzten Medienarchiv und kann von anderen Projekten verwendet werden. Die Beschreibung von deren Dateibeschreibungsseite wird unten angezeigt.

Beschreibung

There are 10 sentences with 8 different meanings, using the loving-relation Lxy and the quantifiers ∀ and ∃:

No column/row is empty:
1. :
Everyone is loved by someone.
2. :
Everyone loves someone.
The diagonal is
nonempty/full:
5. :
Someone loves himself.
6. :
Everyone loves himself.
The matrix is
nonempty/full:
7. :
Someone loves someone.

8. :
Someone is loved by someone.
9. :
Everyone loves everyone.

10. :
Everyone is loved by everyone.
Hasse diagram of the implications
One row/column is full:
3. :
Someone loves everyone.
4. :
Someone is loved by everyone.


Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Diese Datei ist gemeinfrei („public domain“), weil sie nur Allgemeingut enthält und die nötige Schöpfungshöhe nicht erreicht.
 
Der SVG-Code ist valide.
 
Diese Vektorgrafik wurde mit Inkscape erstellt.
 
Diese SVG-Datei wurde mit Commonist hochgeladen

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell20:40, 6. Dez. 2010Vorschaubild der Version vom 20:40, 6. Dez. 2010230 × 230 (15 KB)Watchduck

Die folgende Seite verwendet diese Datei:

Metadaten

Diese Datei enthält weitere Informationen, die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.

Abgerufen von „https://www.jewiki.net/wiki/Datei:Predicate_logic;_2_variables;_example_matrix_a1e2.svg“