Differences

This shows you the differences between two versions of the page.

@@ Line 1: / Line 1: @@
+====== Kategoriální gramatika ======
+Bar-Hillel:
+> Každá věta, která není prvkem, je považována za výsledek operace jedné
+> podposloupnosti na zbytek, který od ní může být bezprostředně vpravo, bezprostředně vlevo,
+> nebo na obou stranách. ... Ta podposloupnost, která je nahlížena jako operující je
+> //operátor//, ostatní jejími //argumenty//.
+ke každému gramatickému pravidlu //R// najdeme <latex>i < n</latex> takové
+<latex>||R(E_1,...,E_n)|| = ||E_i||(||E_1||,...,||E_n||)</latex>
+onen výraz kategorie <latex>A_i</latex> pak označujeme jako typu <latex>A/A_1,...,A_{i-1},A_{i+1},...,A_n</latex>
+kategorie výroků: <latex>$V$</latex>
+kategorie termů:  <latex>$T$</latex>
+kategorie predikátů: <latex>V/T</latex> [U->B]
+negace a ostatní unární operátory: <latex>V/V</latex>
+binární výrokové operátory: <latex>V/V,V</latex> simulovat na dva kroky jako <latex>(V/V)/V</latex>
+kvantifikátory LE: <latex>V/(V/T)</latex>
+kvantifikátory LE*:
+  * pravidlo pro kvantifikaci se vzpírá: z jedné strany <latex>V/V</latex>, ze strany [[U->B]->B] vypadá jako <latex>V/(V/T)</latex>

Institute of Formal and Applied Linguistics Wiki