👤

Is {[( P ∧ q → R → P → q → R )]} tautology?