If we wish to prove a sentence of the form

P1 and P2 and ... Pnthen it is sufficient to prove each sentence

`Pi`

separately.
More formally, we write

A |= P1 and P2 and ... Pn ----> (A |= P1) and (A |= P2) and ... (A |= Pn)

[Next] [Prev] [Home] [BHome]

12 October 1996