We will show that the following properties are entailed by XX: X = B-L1 XX |- |sL|B(L1 /\ R1) X = |s|L|s|R1|B-R1 XX |- |sL sR1|BP(→ R1 /\ BR1) XX |- —issL) ...
確定！ 回上一頁
