Moja lekcja

 0    25 fiszek    Daria22
drukuj graj sprawdź się
 
Pytanie Odpowiedź
Reguły ustalające słownik danego języka
rozpocznij naukę
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
rozpocznij naukę
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
rozpocznij naukę
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
rozpocznij naukę
reguły gramatyczne, które ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
Reguły dedukcyjne
rozpocznij naukę
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
rozpocznij naukę
zdania wyróżnione jako prawdziwe przez reguły dedykcyjne.
Reguły aksjomatyczne
rozpocznij naukę
reguły dedukcyjne które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.
Reguły inferencyjne
rozpocznij naukę
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
rozpocznij naukę
zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy
Pośrednia konsekwencja inferencyjna danej tezy
rozpocznij naukę
zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowanie jedej reguły inferencyjnej lub zastosowania wielu reguł inferencyjnych do określonej tezy
Tautologie
rozpocznij naukę
zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.
Reguły składniowe
rozpocznij naukę
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
rozpocznij naukę
zaprzeczenia tez danego języka. Oczywiście jako zaprzeczenia zdań prawdziwych wszystkie kontrtezy danego języka są zdaniami fałszywymi.
Kontrtautologie
rozpocznij naukę
zaprzeczenia tautologii.
Reguły odsniesienia przedmiotowego
rozpocznij naukę
dzielą się z kolei na reguły ustalające uniwersum danego języka oraz reguły denotowania.
Uniwersum danego języka
rozpocznij naukę
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
rozpocznij naukę
reguły które wyznaczają uniwersum tego języka
Reguły denotowania
rozpocznij naukę
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
rozpocznij naukę
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
rozpocznij naukę
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
rozpocznij naukę
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
rozpocznij naukę
koniunkcja zdań, w których w określonym języku wynika dane zdanie
Następstwo
rozpocznij naukę
zdanie które wynika z racji.
Ze zdań Z1, Z2, ..., Zk wynika logicznie zdanie Zn
rozpocznij naukę
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
rozpocznij naukę
zdanie które wynika logicznie z racji logicznej

Musisz się zalogować, by móc napisać komentarz.