具有1個變量的邏輯蘊涵

Question

我在知識庫中有以下聲明，但有一個前提只有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發言。只有一個變量來決定'你'。

謝謝:)

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 

如果你想t=>u爲1，那麼如果t是1，u必須是1;並且如果t是0，則u可以是0或1.