języka ale od początku

 0    22 fiche    logika12345
ladda ner mp3 skriva ut spela Kontrollera dig själv
 
Fråga język polski Svar język polski
reguły odniesienia przedmiotowego
börja lära sig
są to reguły które dzielą się na reguły ustalające uniwersum danego języka oraz reguły denotowania.
reguły prawdziwościowe
börja lära sig
są to reguły, które określają warunki, pod jakimi poszczególne zdania danego języka są zdaniami prawdziwymi.
reguły ustalające uniwersum danego języka
börja lära sig
są to reguły wyznaczające uniwersum określonego języka.
reguły denotowania
börja lära sig
są to reguły, które przyporządkowują poszczególnym wyrażeniom określone obiekty, czyli wskazują, co poszczególne wyrażenia oznaczają.
uniwersum danego języka
börja lära sig
jest to zbiór obiektów, których właściwości i wzajemne powiązania opisuje określony język.
reguły dedukcyjne
börja lära sig
są to reguły wyróżniające pewne zdania określonego języka jako zdania prawdziwe.
tezy danego języka
börja lära sig
są to zdania określonego języka wyróżnione jako prawdziwe przez reguły dedukcyjne tego języka.
reguły aksjomatyczne
börja lära sig
są to reguły, które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.
aksjomaty danego języka
börja lära sig
są to zdania wyróżnione jako tezy przez reguły aksjomatyczne.
reguły inferencyjne
börja lära sig
są to reguły wyróżniające pewne zdania jako prawdziwe pod warunkiem, że wyróżnione są jako prawdziwe określone inne zdania danego języka.
Bezpośrednia konsekwencja inferencyjna danej tezy
börja lära sig
jest to zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy.
pośrednia konsekwencja inferencyjna danej tezy
börja lära sig
jest to zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowania jednej reguły inferencyjnej lub zastosowaniu wielu reguł inferencyjnych do określonej tezy.
konsekwencje inferencyjne danej tezy
börja lära sig
są to bezpośrednie oraz pośrednie konsekwencje inferencyjne danej tezy.
tautologie
börja lära sig
są to zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.
reguły składniowe
börja lära sig
są to wyznaczające tezy danego języka reguły dedukcyjne wraz z regułami formowania.
kontrtezy danego języka
börja lära sig
są to zaprzeczenia tez danego języka.
kontrtautologie
börja lära sig
sa to zaprzeczenia tautologii.
reguły ustalające słownik danego języka
börja lära sig
są to reguły, które wyznaczają podstawowe wyrażenia tego języka zwane słowami.
reguły gramatyczne
börja lära sig
są to reguły interweniujące przy budowie wyrażeń danego języka. Dzielą się na reguły ustalające kategorie gramatyczne i reguły ustalające sposób budowania wyrażeń złożonych z wyrażeń o określonych kategoriach gramatycznych.
kategoria gramatyczna danego języka
börja lära sig
jest to zbiór tych wszystkich wyrażeń określonego języka, które pozwalają się wzajemnie zastępować w dowolnym zdaniu owego języka, dając w efekcie zdanie tego języka.
Reguły ustalające sposób budowania wyrażeń złożonych z wyrażeń o określonych kategoriach gramatycznych
börja lära sig
ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
reguły formowania
börja lära sig
są to reguły gramatyczne oraz reguły ustalające słownik.

Du måste vara inloggad för att skriva en kommentar.