سقراط گفته يوناني ها دروغگو هستند ولي خود سقراط هم يونانيه پس دروغ ميگه که يوناني ها دروغ ميگن پس يونانيها راستگو هستند و سقراط هم که يک يونانيه پس راستگوست پس راست ميگه که يونانيها دروغگو هستند پس...........آخر يونانيها دروغگواند يا راستگو !؟
پس راست ميگه که يونانيها دروغگو هستند پس...........آخر يونانيها دروغگواند يا راستگو !؟
این قسمت آخرش اضافی بود،والکی خودش رو تو ریسمانی که وا کرده گرفتار کرده! چهار صفحه از منطق ریاضی می خوندید کاملا درک می کردید،
سقراط می گوید یونانی ها دروغ گو هستند.(اصل)
اگر یک یونانی سخنی بگوید دروغ است.(قضیه)
فرض:یک یونانی سخن می گوید
حکم:یونانی دروغ گو ست
اثبات: بنا بر اصل فوق چون تمامی یونانی ها دروغ گو هستند پس سخن یونانی دروغ است.و حکم ثابت می شود.
در شرطی ها،ارزش یک گزاره شرطی زمانی که فرض F باشد بدون در نظر گرفتن F یا T بودن حکم، کل گزاره، گزاره ی درستی ست.
در اینجا راست گفتن T
دروغ گفتن F
F----->TvF
ارزش گزاره= T
به عبارتی بنا بر انتفای مقدم ارزش گزاره صحیح است.
این برای بعضی از دوستان شاید پیچیده باشد،حالا جمله ی ریاضی رو به زبان آدم بر می گردونیم،گزاره ی بالا این رو میگه، چون یک دروغ گو یک حرفی رو می زنه پس حرفش یا درست هست یا غلط اما کل گزاره یک گزاره ی درست هست یعنی راست می گوید)