האם מתקיימת הגרירה הלוגית: (Q∨R)⇒((Q∧R))↔(P→Q))