קובץ:Predicate logic; 2 variables; example matrix a2e1.svg

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיפדיה, האנציקלופדיה החופשית

לקובץ המקורי ‏(קובץ SVG, הגודל המקורי: 230 × 230 פיקסלים, גודל הקובץ: 15 ק"ב)

ויקישיתוף זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה.
מקורו של קובץ זה בוויקישיתוף

תקציר

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".
קובץ זה נטול זכויות יוצרים ולפיכך ברשות הציבור. יצירה מורכבת כולה, מיֶדַע שהוא נחלת הכלל, ואין לה מרכיב יצירתי מקורי.
 
.קוד המקור של קובץ SVG זה הוא תקין
 
. Inkscape עם‎‎ נוצרה ה predicate
 
This SVG predicate was uploaded with Commonist.

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

תאריך/שעהתמונה ממוזערתממדיםמשתמשהערה
נוכחית21:40, 6 בדצמבר 2010תמונה ממוזערת לגרסה מ־21:40, 6 בדצמבר 2010‪230 × 230‬ (15 ק"ב)Watchduck

הדפים הבאים משתמשים בקובץ הזה:

שימוש גלובלי בקובץ

אתרי הוויקי השונים הבאים משתמשים בקובץ זה:

מטא־נתונים

קובץ זה מכיל מידע נוסף, שכנראה הגיע ממצלמה דיגיטלית או מסורק שבהם הקובץ נוצר או עבר דיגיטציה.

אם הקובץ שונה ממצבו הראשוני, כמה מהנתונים להלן עלולים שלא לשקף באופן מלא את הקובץ הנוכחי.

אוחזר מתוך "https://he.wikipedia.org/wiki/קובץ:Predicate_logic;_2_variables;_example_matrix_a2e1.svg"