Moja lekcja

 0    25 tarjetas    Daria22
imprimir jugar test de práctica
 
término definición
Reguły ustalające słownik danego języka
empezar lección
reguły które w pierwszym rzędzie konstutuują język wyznaczając jego podstawowe wyrażenia zwane słowami. Ogół słów języka stanowi jego słownik.
Reguły gramatyczne
empezar lección
reguły innterweniujące przy budowie wyrażeń języka. Dzielą się one 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.
Reguły ustalające kat. gramatyczne
empezar lección
reguły gramatyczne które kwalifikują poszczególne słowa oraz złożone wyrażenia danego języka jako elementy określonych jego kategorii gramatycznych.
Reguły ustalające sposób budowania wyrażeń złożonych z wyrażeń o określonych kat. gramatycznych
empezar lección
reguły gramatyczne, które ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
Reguły dedukcyjne
empezar lección
reguły składniowe które wyróżniają pewne zdania określonego języka jako zdania prawdziwe. Regułe dedukcyjne danego języka dzielą się na reguły aksjomatyczne i reguły inferencyjne.
Tezy danego języka
empezar lección
zdania wyróżnione jako prawdziwe przez reguły dedykcyjne.
Reguły aksjomatyczne
empezar lección
reguły dedukcyjne które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.
Reguły inferencyjne
empezar lección
reguły dedukcyjne które wyróżniają 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
empezar lección
zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy
Pośrednia konsekwencja inferencyjna danej tezy
empezar lección
zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowanie jedej reguły inferencyjnej lub zastosowania wielu reguł inferencyjnych do określonej tezy
Tautologie
empezar lección
zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.
Reguły składniowe
empezar lección
aksjomaty danego języska wespół z ich konsekwencjami inferencyjnymi tworzą ogół tego języka. Wyznaczające te tezy reguły dedukcyjne wraz z regułami formowania stanowią reguły składniowe danego języka.
Kontrety danego języka
empezar lección
zaprzeczenia tez danego języka. Oczywiście jako zaprzeczenia zdań prawdziwych wszystkie kontrtezy danego języka są zdaniami fałszywymi.
Kontrtautologie
empezar lección
zaprzeczenia tautologii.
Reguły odsniesienia przedmiotowego
empezar lección
dzielą się z kolei na reguły ustalające uniwersum danego języka oraz reguły denotowania.
Uniwersum danego języka
empezar lección
zbiór obiektów, do którego odnosi się każdy język i których właściwości oraz wzajmne powiązania opisuje
Reguły ustalające uniwersum danego języka
empezar lección
reguły które wyznaczają uniwersum tego języka
Reguły denotowania
empezar lección
reguły odniesienia przedmiotowego, które przyporządkowują poszczególnym wyrażeniom danego uniwersum języka określone obiekty, czyli wskazują co poszczególne wyrażenia oznaczają.
Zdanie Z1 danego języka jest równoznaczne ze zdaniem Z2 tego języka
empezar lección
dwa zdania Z1 i Z2 danego języka są równoznaczne gdy zdania postaci "Z1 - Z2" oraz "Z2 - Z1" są tezami tego języka.
Niezdaniowe wyrażenie W1 jest równoznaczne w danym języku z niezdaniowym wyrażeniem W2
empezar lección
wtedy gdy wszelkie dwa zdania tego języka tym tylko się różniące, że w jednym z nich występuję wyrażenie W1 a w drugim wyrażenie W2, są równoznaczne.
Ze zdań Z1, Z2, ..., Zk wynika w danym języku zdanie Zn
empezar lección
wtedy i tylko wtedy gdy implikacja której poprzednik tworzy koniunkcja zdań Z1, Z2, ..., Zk a następnik stanowi zdanie Zn, jest tezą tego języka.
Racja
empezar lección
koniunkcja zdań, w których w określonym języku wynika dane zdanie
Następstwo
empezar lección
zdanie które wynika z racji.
Ze zdań Z1, Z2, ..., Zk wynika logicznie zdanie Zn
empezar lección
wtedy i tylko wtedy gdy implikacja której poprzednik tworzy koniunkcję zdań Z1, Z2, ..., Zk a następnik stanowi zdanie Zn, jest tautologią.
Następstwo logiczne
empezar lección
zdanie które wynika logicznie z racji logicznej

Debes iniciar sesión para poder comentar.