לדלג לתוכן

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

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

גודל התצוגה המקדימה הזאת מסוג PNG של קובץ ה־SVG הזה: 230 × 230 פיקסלים. רזולוציות אחרות: 240 × 240 פיקסלים | 480 × 480 פיקסלים | 768 × 768 פיקסלים | 1,024 × 1,024 פיקסלים | 2,048 × 2,048 פיקסלים.

לקובץ המקורי (קובץ 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. $\forall x\exists yLyx$ : Everyone is loved by someone.	2. $\forall x\exists yLxy$ : Everyone loves someone.

The diagonal is nonempty/full:
5. $\exists xLxx$ : Someone loves himself.
6. $\forall xLxx$ : Everyone loves himself.

The matrix is nonempty/full:
7. $\exists x\exists yLxy$ : Someone loves someone. 8. $\exists x\exists yLyx$ : Someone is loved by someone.
9. $\forall x\forall yLxy$ : Everyone loves everyone. 10. $\forall x\forall yLyx$ : Everyone is loved by everyone.

Hasse diagram of the implications

One row/column is full:
3. $\exists x\forall yLxy$ : Someone loves everyone.	4. $\exists x\forall yLyx$ : 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.

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

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

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

שימוש בקובץ

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

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

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

שימוש באתר de.wikipedia.org
- Prädikatenlogik
- Diskussion:Prädikatenlogik/Archiv/1
שימוש באתר de.wikiversity.org
- Prädikatenlogische Formeln
שימוש באתר el.wikipedia.org
- Λογική πρώτου βαθμού
שימוש באתר en.wikipedia.org
- Talk:Quantification
שימוש באתר en.wikiversity.org
- Formulas in predicate logic/2 places

מטא־נתונים

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

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

רוחב	230.31496
גובה	230.31496

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