[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Some Inference Rules

• The Rule of Consequence:

  {P} S {Q}, P' => P, Q => Q'

  {P'} S {Q'}

• For a sequence S1;S2 the inference rule is:

  {P1} S1 {P2}, {P2} S2 {P3}

  {P1} S1; S2 {P3}