What does conjunction of formulas mean?

  • Context: Undergrad 
  • Thread starter Thread starter tgt
  • Start date Start date
  • Tags Tags
    Formulas Mean
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
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]