بحث رده:درست منطقی

منطق جدید

5.117.8.75 ‏۹ مهٔ ۲۰۱۳، ساعت ۱۸:۳۱ (UTC)با سلام وعرض خسته نباشید

من تازه شروع به خوندن کتاب درآمدی برمنطق جدید کرده ام و چند سوال برایم پیش آمده که به کمک (جواب )نیازمندم سوال اول درمورد اثبات قضایای زیر میباشد

p→Q,5.120.249.148q├ ~p P → Q,5.120.249.148Q├ ~P

P & (P → S)├ S

سوال بعدی درمورد ساخت قضیه از صورت برهان زیر میباشد

(P →Q) ├ (~Q →P~)

واینکه جملات زیر را با چه روشی به زبان منطق محمول ها بنویسم

احمد به خانه علی رفت وغذاخورد. بعضی پیرمردها خانه سالمندان را دوست ندارند. اگر مردم تقوا پیشه کنند ،رستگار خواهند شد.