The combination of the individual statement post-conditions into the
co-statement post-condition involves
and
introduction, which is the compliment to
and elimination:
If you know that both the predicatesA
andB
are true, then, by theand
truth table, you know that the predicateA and B
is true too.
This page last modified on 11 June 2003.