término | definició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 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 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 gramatyczne, które ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
|
||||
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.
|
||||
zdania wyróżnione jako prawdziwe przez reguły dedykcyjne.
|
||||
reguły dedukcyjne które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.
|
||||
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.
|
||||
zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy
|
||||
zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowanie jedej reguły inferencyjnej lub zastosowania wielu reguł inferencyjnych do określonej tezy
|
||||
zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.
|
||||
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.
|
||||
zaprzeczenia tez danego języka. Oczywiście jako zaprzeczenia zdań prawdziwych wszystkie kontrtezy danego języka są zdaniami fałszywymi.
|
||||
zaprzeczenia tautologii.
|
||||
dzielą się z kolei na reguły ustalające uniwersum danego języka oraz reguły denotowania.
|
||||
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 które wyznaczają uniwersum tego języka
|
||||
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ą.
|
||||
dwa zdania Z1 i Z2 danego języka są równoznaczne gdy zdania postaci "Z1 - Z2" oraz "Z2 - Z1" są tezami tego języka.
|
||||
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.
|
||||
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.
|
||||
koniunkcja zdań, w których w określonym języku wynika dane zdanie
|
||||
zdanie które wynika z racji.
|
||||
wtedy i tylko wtedy gdy implikacja której poprzednik tworzy koniunkcję zdań Z1, Z2, ..., Zk a następnik stanowi zdanie Zn, jest tautologią.
|
||||
zdanie które wynika logicznie z racji logicznej
|