>1 理论基础
阿斯维奥侬，“形式”是指事物,现象,乃至逻辑的内容要素的组织构造和外在形式。
尹斯慕肽姆，语言是通过特定的文字或是声音来表达思想，而思想的基层规则即是“逻辑”。
搜维斯崽特，当“形式”与“逻辑”在语言中碰撞的时候，就会产生一种新的“语言”分类——“形式逻辑(即 formal logic)”。
择阿斯泽穆，一门名为“Folog伏拉格”的奇特的人造“语言”就诞生了。
>2.1 基本介绍
在伏拉格语中，并不存在完整的“字母表”
，而是以“命牌对象”,“形式表”,与其他通用字符组成。它旨在以逻辑符号的方式将思想形式化的表示出来，即公式化的表达方式。
>2.2 命牌对象
命牌对象即指“对于未给定表达式的普通对象的名称”。
在命牌对象的右下角，用数字角标表示相同类型中不同的命牌对象，这些角标被称作为“命牌编号”。
当命牌编号总数值过大时，一般会采用字母与数字角标相结合的方式代替大数值命牌编号。
而特定的对象则用“""”或者“''”包裹，以表达此对象为“特定引用对象”。
•目标命牌对象：“O₀”
•赋值命牌对象：“V₀”
•行为命牌对象：“A₀”
•逻辑命牌对象：“L₀”
•表达式命牌对象：“E₀”
•特别引用命牌对象：“Q₀”
•特别引用对象：“"Q₀"”
>2.3 形式表
在形式表中，共分为“基础符”,“赋值符”,“行为符”,以及“逻辑符”三大类型符。
•基础符典型符号：“"Q₀"”
•赋值符典型符号：“{V₀}”
•行为符典型符号：“(O₀)”
•逻辑符典型符号：“|L₀|”
>2.4 表达式
在伏拉格中，基础表达式为“A₀(O₀)”。
而基础表达式即为一个典型的行为表达式。它表达了“(未知目标)将A₀这个行为传递给了O₀这个目标”。
相同的，赋值典型表达式为“O₀{V₀}”，即表达“O₀这个目标附带有V₀这个值”。
而逻辑典型表达式则是“|L₀|.E₀”，它表达的意思是“当L₀这个逻辑为TRUE时，执行E₀这个表达式”。
>3 后序
以上为本小白偶然间的一些奇思妙想，或许有些异想天开，但还请各位前辈多多关照，指出意不及义的地方。
不喜勿喷awa