☆☆★ 放送大学スレ Part.256★☆★

363 ：名無し生涯学習：2015/02/11(水) 19:15:13.55 .net

今更だけど教えてくだされ
記号論理学の今期試験の問11,
「一階述語言語における推論の妥当性の判定問題は『』である」
半決定可能でいいのかな？
テキスト見ると決定不可能なようにも取れてわからん