語法上沒有錯誤, 都是well-formed formula, 但是語義上與一般用自然語言表達出來的語義不符. 例：
「有乙個男學生」是用存在量詞+合取式寫出來的, 即「存在乙個物件x, x是男的且x是學生」. 這句話為真當且僅當存在乙個男學生
如果我們用存在量詞+條件式寫出來, 則是「存在乙個物件x, 如果x是男的則x是學生」. 注意這段話為真, 當且僅當x不是男的或者x是學生.
同樣, 「人都會死」是用全稱量詞+條件式寫出來的, 即「對於任意物件x, 如果x是人, 那麼x會死」, 這句話為真當且僅當所以為人的物件x都會死.
如果用合取式寫出來: 「對於任意物件x, x是人且x會死」. 這句話為真, 當且僅當所有物件都是人且所有物件都會死.
![在這裡插入描述](
必須用C模擬OS？
asm基本必要，至於高階語言就很難說了。去osdev wiki上一翻一堆各種語言實現的玩意。乙個模擬os其實不太容易完整搭出來，反倒是直接構造核心的後顧之憂少 如果還有真的想在sigalrm裡耍什麼異常控制流的還是算了吧，挺悲催的 不過如果是子系統模擬還是可以的 1.程序的模擬一般強調排程演算法多於...
021 建構函式寫了，就必須用
1 當類中沒有定義任何乙個建構函式時，c 編譯器會提供預設無參建構函式和預設拷貝建構函式 2 當類中定義了拷貝建構函式時，c 編譯器不會提供無引數建構函式 3 當類中定義了任意的非拷貝建構函式 即 當類中提供了有參建構函式或無參建構函式 c 編譯器不會提供預設無參建構函式 4 預設拷貝建構函式成員變...
解決SQL中全稱量詞 轉變為 存在量詞的案例
1 至少使用了s1 的商品的工程號 不存在 p s1 商品 q jno 沒有用該商品 select jno from spj a where not exists select from spj b where b.sno s1 and not exists select from spj c wh...