What does conjunction of formulas mean?

[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?

[tiny-tim]

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?

Hi tgt! :smile:

Can you give us the background context?

[CRGreathouse]

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?

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)