Re: [請益] tautologically imply?

看板Math作者greprep (烤啦！)時間14年前 (2012/01/31 16:21)推噓1(1推 0噓 5→)

留言6則, 2人參與討論串3/3 (看更多)

謝謝r大的解答。還有個問題，就是把原定義翻譯成符號，您看看這樣翻對不對。 Def:Σtautologically impliesτ(written |=τ) iff every truth assignment for the sentence symbols in Σ and τthat satisfies every member of Σ also satisfies τ. （satifies 是"使其為真"的意思，　　Σ also satisfies τ就是Σ使τ為真。）我的翻譯是： for all α in Σ （找不到那個倒A和屬於某集合的符號） v(α) = T => v(τ) = T。這樣對嗎？謝謝。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 99.8.4.250

推

recorriendo

01/31 16:49, , 1^F

01/31 16:49, 1^F

→

recorriendo

01/31 16:52, , 2^F

01/31 16:52, 2^F

→

recorriendo

01/31 16:53, , 3^F

01/31 16:53, 3^F