Sentential Formula

An expression which is a sentence or which contains variables and becomes a sentence upon appropriate substitutions for these variables (Carnap 1958, p. 24). Sentential formulas are also known as propositional formulas or, for short, simply "formulas."

Wolfram Web Resources

Mathematica » The #1 tool for creating Demonstrations and anything technical.	Wolfram\|Alpha » Explore anything with the first computational knowledge engine.	Wolfram Demonstrations Project » Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.
Computerbasedmath.org » Join the initiative for modernizing math education.	Online Integral Calculator » Solve integrals with Wolfram\|Alpha.	Step-by-step Solutions » Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.
Wolfram Problem Generator » Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.	Wolfram Education Portal » Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.	Wolfram Language » Knowledge-based programming for everyone.