User:IssaRice/Computability and logic/Semantic completeness: Difference between revisions
(Created page with "Semantic completeness is sometimes written as: if <math>T \models \phi</math>, then <math>T \vdash \phi</math>.") |
No edit summary |
||
| Line 1: | Line 1: | ||
Semantic completeness is sometimes written as: if <math>T \models \phi</math>, then <math>T \vdash \phi</math>. | Semantic completeness is sometimes written as: if <math>T \models \phi</math>, then <math>T \vdash \phi</math>. | ||
Semantic completeness differs from [[../Negation completeness|negation completeness]]. | |||
Revision as of 05:18, 21 December 2018
Semantic completeness is sometimes written as: if , then .
Semantic completeness differs from negation completeness.