Difference between revisions of "Valid formula"
From Maths
(Created page with "{{Stub page|grade=A|msg=Created so I don't have to sift through notes or scour PDFs, needs more references and another book to source the info really}} : '''Note: ''' Tautol...") |
(No difference)
|
Latest revision as of 11:10, 11 September 2016
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Created so I don't have to sift through notes or scour PDFs, needs more references and another book to source the info really
- Note: Tautology (FOL) redirects here, as valid is another term for a tautological formula.
Contents
Definition
Let [ilmath]\mathscr{L} [/ilmath] be a first order language. Let [ilmath]A\in\mathscr{L}_F[/ilmath] be a formula of [ilmath]\mathscr{L} [/ilmath] and let [ilmath]\Gamma\subseteq\mathscr{L}_F[/ilmath] be a collection of formulas of [ilmath]\mathscr{L} [/ilmath]. We say[1]:
- [ilmath]A[/ilmath] is valid if [ilmath]A[/ilmath] is satisfiable for any model of [ilmath]\mathscr{L} [/ilmath]. That is to say: [ilmath]\mathbf{M}\models_\sigma A[/ilmath] holds for any model [ilmath](\mathbf{M},\sigma)[/ilmath] of [ilmath]\mathscr{L} [/ilmath].
- Suppose that for every formula, [ilmath]B[/ilmath], in [ilmath]\Gamma[/ilmath] that [ilmath]B[/ilmath] is valid (or: [ilmath]\models B[/ilmath] holds), then we call the formula set [ilmath]\Gamma[/ilmath] valid[1]
- We denote this by: [ilmath]\models\Gamma[/ilmath] [1]
