17/09/28 07:37:18.61 .net
>>822
> t1,...tn|-
これって何ですか？
どういう意味ですか？
任意に選んでるのにどうやって示すのですか？
あるいはそういうものが存在することは保証されていますか？
> τ内の全ての論理式が真となるような構造のことを言います
すべての論理式は無数にありますが
どうやって真だと判断するのですか？
あるいはそういうものが存在することは
保証されていますか？
> よく使われる推論規則の一つです
それではよく分かりません。
具体的に教えて下さい。
それとも分からないんですか？