Łoś–Vaught test
id:
o-vaught-test-284-1865489
title:
Łoś–Vaught test
text:
In model theory, a branch of mathematical logic, the Łoś–Vaught test is a criterion for a theory to be complete, unable to be augmented without becoming inconsistent. For theories in classical logic, this means that for every sentence, the theory contains either the sentence or its negation but not both.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/%C5%81o%C5%9B%E2%80%93Vaught_test
date created:
date modified:
2023-01-05T19:10:03Z
main entity:
{"identifier":"Q25303635","url":"https://www.wikidata.org/entity/Q25303635"}
image:
fields total:
13
integrity:
13