What does conjunction of formulas mean?

  • Context: Undergrad 
  • Thread starter Thread starter tgt
  • Start date Start date
  • Tags Tags
    Formulas Mean
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 3K views
tgt
Messages
519
Reaction score
2
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?
 
Physics news on Phys.org
tgt said:
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?
 
tgt said:
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
[tex]M(a,b,c,d,e,f) = (F_1)\wedge(F_2)\wedge(F_3)\wedge\cdots\wedge(F_k)[/tex]