>>822
> t1,...tn|-

これって何ですか？
どういう意味ですか？
任意に選んでるのにどうやって示すのですか？
あるいはそういうものが存在することは保証されていますか？

> τ内の全ての論理式が真となるような構造のことを言います

すべての論理式は無数にありますが
どうやって真だと判断するのですか？
あるいはそういうものが存在することは
保証されていますか？

> よく使われる推論規則の一つです

それではよく分かりません。
具体的に教えて下さい。
それとも分からないんですか？