sentential variable - Wolfram|Alpha

Uh oh! Wolfram|Alpha doesn't run without JavaScript.

Please enable JavaScript. If you don't know how, you can find instructionshere.Once you've done that, refresh this page to start using Wolfram|Alpha.

Input interpretation

sentential variable

Alternate name

propositional variable

Definition

A sentential variable, also called a propositional variable, that can be substituted for in arbitrary sentential formulas.

More information »

Related term

sentential formula

Subject classifications

MathWorld

general logic

MSC 2010

03Bxx

POWERED BY THE WOLFRAM LANGUAGE

Related Queries:

Have a question about using Wolfram|Alpha?Contact Pro Premium Expert Support »

Give us your feedback »