Exemplo 2

P1 ≤ P2

provided

  • P ⇒ Q
  • S1 ⊆ S2