با دو اتم p و q و دو رابط → و ¬ ، چند گزارهٔ غیر همارز که تناقض یا راستگو نباشند میتوان ساخت؟

سوال ۱۰۸ کنکور ارشد علوم کامپیوتر ۱۳۹۷

اهمیت

۰/۵

با دو اتم p و q و دو رابط $\to$ و $\neg$ ، چند گزارهٔ غیر همارز که تناقض یا راستگو نباشند می‌توان ساخت؟

#propositional-logic#functional-completeness#truth-functions#truth-table#tautology#contradiction