::כן,זאת הייתה הכוונה --[[משתמש:לואי פולב|לואי]] 21:19, 6 בדצמבר 2011 (IST)
== סיכום בקורס בלוגיקה מתמטית במדעי המחשב ==
אהלן!
אני כותב סיכום של פרופ' דורון פלד בקורס בלוגיקה מתמטית 89-200, למי שרוצה ומתעניין, הסיכום נמצא [http://www.studenteen.org/Logics_Sikum.pdf כאן].
בהצלחה! ;-)
== אי שקילות ==
הי לואי, אי שקילות של s ו-v אומר שיש להם ערכי אמת הפוכים?
נכון מאוד. --[[משתמש:לואי פולב|לואי]] 11:27, 10 בינואר 2012 (IST)