PYQ Vault

[(p implies q) and not q] implies r is a tautology when r is equivalent to

The same question, asked 2 times: 14 May 2024 S1, 19 Apr 2025 S1. Every wording below, oldest first.

Try each one first, then open its answer.

  1. Question 1

    14 May 2024 S1

    149
    The statement [(p→q)∧¬q]→r[(p\to q)\wedge\neg q]\to r is a tautology, when rr is equivalent to

    Tap an option to check your answer.

  2. Question 2

    19 Apr 2025 S1

    109
    The statement pattern [(p→q)∧−q]→r\lbrack(p\rightarrow q) \land -q\rbrack \rightarrow r is a tautology when r is equivalent to

    Tap an option to check your answer.