variables - 変数が 1 つの場合の論理的含意

Question

私のナレッジベースには次のステートメントがありますが、変数が 1 つしかないという前提があります (3 行目を参照)。このための真理値表を作成しようとしていますが、暗黙の条件を決定する条件が 1 つしかないため、3 番目の前提が混乱します。

p ^ q ^ r => s;
q ^ r => t;
t => u;   <---- confused line.
p;
s;

たとえば、私の知識によると：

p | q | p=>q    
--------------    
0 | 0 | 1    
0 | 1 | 1    
1 | 0 | 0    
1 | 1 | 1

しかし、ここで 3 番目のステートメントの真理値表を作成するにはどうすればよいでしょうか。「u」を決定する変数は 1 つだけです。

ありがとうございました ：）

Answer 1

真理値表には、tとt=>u;が含まれます。そこから決定しようとしますu：

t | t=>u | u    
--------------    
0 | 0    | not possible
0 | 1    | 0 or 1
1 | 0    | 0
1 | 1    | 1

1 になりたいt=>u場合tは、1 でuある必要があります1。tが 0 の場合u、0 または 1 のいずれかになります。