KonkurStudy

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

اهمیت
۰/۵

چند مورد از گزاره‌های زیر معتبر است؟

p→(q→p)p \to (q \to p) ((p→q)∧¬q)→¬p((p \to q) \land \neg q) \to \neg p (p→q)→((p→¬q)→¬p)(p \to q) \to ((p \to \neg q) \to \neg p) p→(q→(p∧q))p \to (q \to (p \land q))

#propositional-logic#tautology#validity#modus-tollens#implication#truth-table