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