Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the concept of logical consequence. - MaRDI portal

On the concept of logical consequence. (Q2610726)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On the concept of logical consequence.
scientific article

    Statements

    On the concept of logical consequence. (English)
    0 references
    1936
    0 references
    Der Begriff der logischen Folgerung wird hier mit Hilfe des Begriffes des Erfülltseins durch ein Modell definiert. Die angegebene Definition lautet: Die Aussage \(X\) folgt logisch aus den Aussagen der Klasse \(K\) dann und nur dann, wenn jedes Modell der Klasse \(K\) zugleich ein Modell der Aussage \(X\) ist.
    0 references
    0 references

    Identifiers