25 בנובמבר 2021
7 בנובמבר 2021
9 באוקטובר 2020
25 ביולי 2020
2 ביולי 2020
22 בספטמבר 2019
13 באוגוסט 2019
12 באוגוסט 2019
11 באוגוסט 2019
פיזור הערפל
−870
מה זה מערכת פורמלית? האם הכוונה ל"מבנה שפתי בתקנון לוגיקה מתמטית?" קישור פנימי נדרש. כמו כן, ישנה בקשת הבהרה נוספת שטרם זכתה להתייחסות. תודה.
+4
10 באוגוסט 2019
8 באוגוסט 2019
אין תקציר עריכה
+24
אין תקציר עריכה
+4
אין תקציר עריכה
+10
בקשת הבהרה זהירה במיוחד במקרה של ספק עודף טרמינולוגיה.
+381
המידע שבהערת הסוגריים העוקבת אמור להופיע בערך פרדיקט שטרם נכתב ולדעתי ראוי לבוא שכר רוחני גדול על בר סמכא שיכתובו לפחות לעת עתה כצקרמר קליל.
+4
אין תקציר עריכה
+118
7 באוגוסט 2019
28 במאי 2019
18 באפריל 2019
18 באוקטובר 2018
15 במרץ 2018
21 בפברואר 2018
30 בנובמבר 2017
19 באוקטובר 2017
24 ביולי 2017
6 באפריל 2017
25 בינואר 2017
28 בינואר 2016
31 באוקטובר 2015
26 בספטמבר 2015
17 בינואר 2015
10 בדצמבר 2013
1 בדצמבר 2013
(Script) File renamed: File:Predicate logic; 2 variables; E2f.svg → File:Predicate logic; 2 variables; example matrix e1a2.svg File renaming criterion #6: Harmonize file names of a set of images (...
מ+16
(Script) File renamed: File:Predicate logic; 2 variables; E1f.svg → File:Predicate logic; 2 variables; example matrix e2a1.svg File renaming criterion #6: Harmonize file names of a set of images (...
מ+16
(Script) File renamed: File:Predicate logic; 2 variables; A2ne.svg → File:Predicate logic; 2 variables; example matrix a1e2.svg File renaming criterion #6: Harmonize file names of a set of images ...
מ+15
(Script) File renamed: File:Predicate logic; 2 variables; A1ne.svg → File:Predicate logic; 2 variables; example matrix a2e1.svg File renaming criterion #6: Harmonize file names of a set of images ...
מ+15
(Script) File renamed: File:Predicate logic; 2 variables; 12ne.svg → File:Predicate logic; 2 variables; example matrix e12.svg File renaming criterion #6: Harmonize file names of a set of images (...
מ+14
(Script) File renamed: File:Predicate logic; 2 variables; 12f.svg → File:Predicate logic; 2 variables; example matrix a12.svg File renaming criterion #6: Harmonize file names of a set of images (s...
מ+15
(Script) File renamed: File:Predicate logic; 2 variables; 12diag ne.svg → File:Predicate logic; 2 variables; example matrix e(12).svg File renaming criterion #6: Harmonize file names of a set of i...
מ+11
(Script) File renamed: File:Predicate logic; 2 variables; 12diag f.svg → File:Predicate logic; 2 variables; example matrix a(12).svg File renaming criterion #6: Harmonize file names of a set of im...
מ+12