języka ale od początku

 0    22 flashcards    logika12345
download mp3 print play test yourself
 
Question język polski Answer język polski
reguły odniesienia przedmiotowego
start learning
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
start learning
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
start learning
są to reguły wyznaczające uniwersum określonego języka.
reguły denotowania
start learning
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
start learning
jest to zbiór obiektów, których właściwości i wzajemne powiązania opisuje określony język.
reguły dedukcyjne
start learning
są to reguły wyróżniające pewne zdania określonego języka jako zdania prawdziwe.
tezy danego języka
start learning
są to zdania określonego języka wyróżnione jako prawdziwe przez reguły dedukcyjne tego języka.
reguły aksjomatyczne
start learning
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
start learning
są to zdania wyróżnione jako tezy przez reguły aksjomatyczne.
reguły inferencyjne
start learning
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
start learning
jest to zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy.
pośrednia konsekwencja inferencyjna danej tezy
start learning
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
start learning
są to bezpośrednie oraz pośrednie konsekwencje inferencyjne danej tezy.
tautologie
start learning
są to zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.
reguły składniowe
start learning
są to wyznaczające tezy danego języka reguły dedukcyjne wraz z regułami formowania.
kontrtezy danego języka
start learning
są to zaprzeczenia tez danego języka.
kontrtautologie
start learning
sa to zaprzeczenia tautologii.
reguły ustalające słownik danego języka
start learning
są to reguły, które wyznaczają podstawowe wyrażenia tego języka zwane słowami.
reguły gramatyczne
start learning
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
start learning
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
start learning
ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
reguły formowania
start learning
są to reguły gramatyczne oraz reguły ustalające słownik.

You must sign in to write a comment