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