# What does conjunction of formulas mean?

1. Sep 18, 2008

### tgt

Suppose we have a number of formulas involving variables a,b,c,d,e,f. What does it mean when the text says let M(a,b,c,d,e,f) be the conjunction of the formulas?

2. Sep 18, 2008

### tiny-tim

Hi tgt!

Can you give us the background context?

3. Sep 18, 2008

### CRGreathouse

That M(a,b,c,d,e,f) is true if and only if all of the formulas are true. Syntactically, you can take it as
$$M(a,b,c,d,e,f) = (F_1)\wedge(F_2)\wedge(F_3)\wedge\cdots\wedge(F_k)$$