Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What does conjunction of formulas mean?

  1. Sep 18, 2008 #1


    User Avatar

    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. jcsd
  3. Sep 18, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    Hi tgt! :smile:

    Can you give us the background context?
  4. Sep 18, 2008 #3


    User Avatar
    Science Advisor
    Homework Helper

    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]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook