Conjunction Elimination
If we wish to prove a sentence of the form
     P1 and P2 and ... Pn 
then 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