■ちょっとした物理の ..
835:ご冗談でしょう?名無しさん
17/09/28 07:37:18.61 .net
>>822
> t1,...tn|-
これって何ですか?
どういう意味ですか?
任意に選んでるのにどうやって示すのですか?
あるいはそういうものが存在することは保証されていますか?
> τ内の全ての論理式が真となるような構造のことを言います
すべての論理式は無数にありますが
どうやって真だと判断するのですか?
あるいはそういうものが存在することは
保証されていますか?
> よく使われる推論規則の一つです
それではよく分かりません。
具体的に教えて下さい。
それとも分からないんですか?
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
59日前に更新/255 KB
担当:undef