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 predicatesAandBare true, then, by theandtruth table, you know that the predicateA and Bis true too.
This page last modified on 11 June 2003.