Exemplo 1

P1 ⊆ P2

provided

  • P ⇒ Q
  • S1 ⊆ S2