看板: logic : 標題: [請益] tautologically imply? ... (satifies 是"使其為真"的意思, : Σ also satisfies τ就是Σ使τ為真。
確定! 回上一頁