29073

• reguły prawdziwościowe - określają warunki, pod jakimi poszczególne zdania danego języka są zdaniami prawdziwymi

REGUŁY JĘZYKOWE

•    reguły składniowe

•    reguły formowania

■    reguły ustalające słownik

■    reguły gramatyczne

•    reguły ustalające kategorie gramatyczne

•    reguły ustalające sposób budowania wyrażeń złożonych

•    reguły dedukcyjne

■    reguły aksjomatyczne

■    reguły inferencyjne

•    reguły semantyczne

•    reguły odniesienia przedmiotowego

■    reguły ustalające uniwersum

■    reguły denotowania

•    reguły prawdziwościowe

RÓWNOZNACZNOŚĆ WYRAŻEŃ

Zdanie Zi danego języka jest równoznaczne ze zdaniem Z₂ tego języka wtedy, gdy tezą owego języka jest implikacja, której poprzednik stanowi zdanie Zi, a następnik stanowi zdanie Z₂ oraz tezą owego języka jest implikacja, której poprzednik stanowi zdanie Z₂, a następnik stanowi zdanie Z\. Innymi słowy, dwa zdania Zi i Z₂ danego języka są równoznaczne, gdy zdania postaci „Zi □ 3" oraz „Z₂ □ 2T są tezami tego języka. Niezdaniowe wyrażenie Wi jest równoznaczne w danym języku z niezdaniowym wyrażeniem W₂₍ gdy wszelkie dwa zdania tego języka tym się tylko różniące, że w jednym z nich występuje wyrażenie W,, a w drugim występuje wyrażenie W₂, są równoznaczne. Innymi słowy, dwa niezdaniowe wyrażenia są równoznaczne, gdy każda para zdań różniących się tylko tymi dwoma wyrażeniami, a identycznych w pozostałych swych fragmentach, jest parą zdań równoznacznych

ZNACZENIEM określonego wyrażenia w danym języku nazywamy własność przysługującą temu wyrażeniu oraz wszystkim wyrażeniom owego języka z nim równoznacznym. Inaczej mówiąc, znaczeniem określonego wyrażenia w danym języku nazywamy własność przysługującą wszystkim elementom klasy abstrakcji od tego wyrażenia ze względu na relację równoznaczności.

WYNIKANIE LOGICZNE

Ze zdań Z_if Z₂, ... , Z_k wynika w danym języku zdanie Z_n wtedy i tylko wtedy, gdy implikacja, której poprzednik tworzy koniunkcja zdań Zi, Z₂, ... . Z*, a następnik stanowi zdanie Z_n, jest tezą tego języka.

Ze zdania Z, wynika w danym języku zdanie 2^ wtedy, gdy tezą tego języka jest implikacja, której poprzednik stanowi zdanie Zi, a następnik stanowi zdanie Z_n.

Racja - koniunkcja zdań, z których w określonym języku wynika dane zdanie Następstwo - zdanie wynikające z owej koniunkcji