Moja lekcja

Reguły ustalające słownik danego języka

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

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

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

reguły gramatyczne, które ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.

Reguły dedukcyjne

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

zdania wyróżnione jako prawdziwe przez reguły dedykcyjne.

Reguły aksjomatyczne

reguły dedukcyjne które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.

Reguły inferencyjne

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

zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy

Pośrednia konsekwencja inferencyjna danej tezy

zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowanie jedej reguły inferencyjnej lub zastosowania wielu reguł inferencyjnych do określonej tezy

Tautologie

zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.

Reguły składniowe

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

zaprzeczenia tez danego języka. Oczywiście jako zaprzeczenia zdań prawdziwych wszystkie kontrtezy danego języka są zdaniami fałszywymi.

Kontrtautologie

zaprzeczenia tautologii.

Reguły odsniesienia przedmiotowego

dzielą się z kolei na reguły ustalające uniwersum danego języka oraz reguły denotowania.

Uniwersum danego języka

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

reguły które wyznaczają uniwersum tego języka

Reguły denotowania

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

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

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

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

koniunkcja zdań, w których w określonym języku wynika dane zdanie

Następstwo

zdanie które wynika z racji.

Ze zdań Z1, Z2, ..., Zk wynika logicznie zdanie Zn

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

zdanie które wynika logicznie z racji logicznej