ground

In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables.
In first-order logic with identity with constant symbols



a


{\displaystyle a}

and



b


{\displaystyle b}

, the sentence



Q
(
a
)

P
(
b
)


{\displaystyle Q(a)\lor P(b)}

is a ground formula. A ground expression is a ground term or ground formula.

View More On Wikipedia.org
  1. E

    Wiring How does the blower motor get ground on a cj7. 1980. I have 12 volt on the wires. Switch works, no blower

    How does the blower motor get ground on a cj7. 1980. I have 12 volt on the wires. Switch works, no blower. Tried a by pas from battery. No Lucky so far.
Back
Top Bottom
AdBlock Detected

I get it, I'm a Jeep owner and ad-block detectors kinda stink but ads are needed on this site. This is a CJ site, all the ads are set for autos (some times others get through.) I cannot make them just for Jeeps but I try.

Please allow ads as they help keep this site running by offsetting the costs of software and server fees.
Clicking on No Thanks will temporarily disable this message.
I've Disabled AdBlock    No Thanks