一個命題是假命題，則該命題的否定形式一定為真命題嗎？ 比如：錕斤拷燙燙燙屯屯屯鍩鍩鍩。
真命題，但你不能用自然語言描述，你只能用計算機語言描述，而且你寫的代碼必須能編譯，能運行，不報錯。
你說話遵守語法，你寫命題也必須遵守命題規則。不能隨便寫一行字元串，然後讓別人強行解析，還要別人取反命題。
自然語言（如中文，英文）本來就不嚴謹，不精確，不適合來表達命題，尤其是複雜的命題。如果是計算機語言寫成的命題就不存在這個問題。
用自然語言寫得命題不一定是真或假，還可以是真假疊加。因為你不知道說這個命題的人的腦部結構，無法推演命題的敘述者到底想說什麼。
命題的敘述者，很可能會給你一個隨機字元串，讓後讓你取反命題。
比如：錕斤拷燙燙燙屯屯屯鍩鍩鍩。
你來給我取反？命題本身無意義，那麼你做任何操作都是無意義。
自然語言不存在命題的問題，因為自然語言胡攪蠻纏，有時候甚至無意義。簡單點的命題可以描述，命題複雜，帶個嵌套遞歸結構就懵逼了。
再比如：我這句話在說謊。
如果這句話是真，那麼我說謊了，這句話是假的。
如果這句話是假，那麼我沒有說話，這句話是真的。
這句話就是無意義的討論，這就等於讓你寫一個函數。這個函數只會返回一個bool值，且解析這個函數並運行得到的結果不等於這個函數的結果。
世界上根本就不存在這樣的函數。
很多學數學的不肯承認數學表達的不嚴謹
人類語言和不少人為定義的數學語言都是不嚴謹的，但計算機語言除外。計算機語言不嚴謹會直接報錯，宕機。不給傻子一丁點胡攪蠻纏的機會。
同樣的邏輯你用計算機語言寫，就不會出現這個問題。
我們把命題寫成如下形式：
F（X）-＞（Y）
一個函數，輸入是X，函數的輸出是Y。X，Y都是bool類型。整個函數不能調用X以外的變數。
如果有這條約束，只要你能寫出這個函數，輸入是T的時候返回T，那麼你把函數取反（如果你能取反的話，有些函數取反極其困難，甚至根本不能取反）一定能得到一輸入是F，輸出一定是F。
討論一下某些答主說的
「這句話有七個字」-＞「這句話不是七個字」
第一種解讀
前一句話是指時刻0的字元串地址所對應的長度，後一句話是指時刻1的字元串地址所對應的長度。
第二種解讀
前一句話是地址1的字元串所對應的長度
後一句話是地址2的字元串所對應的長度
整句話討論的存儲空間和時間都變了，還否定？
這根本就不是否定命題，這是在改變字元串。你改字元串，而且不遵守一種既定的規則，那麼肯定會得到各種亂七八糟的答案。
這個問題的本質是，布爾代數系統其實是可以公理化的，很多人已經幹過了。你可以自己試著構造一個獨立，完備，不矛盾的公理系統。搞下一題吧。
答案是肯定的。手機不太會打出符號，原諒我用了漢字。
看了一下別的回答，正確，但是不太準確，首先，一些簡單的問題，若a則b，命題否定是，若a則非b，只能在一定程度上成立，比如
若a＝1，則a+1＝2；命題的否定為
若a＝1，則a+1≠2；顯然是一真一假，但是我認為這種說法是狹義的，如果在初中之上就應該繼續思考，比如
若sina＞0，則a大於0
像這樣的命題，如果得出他的命題的否定是，
若sina＞0，則a≤0，
顯然這兩個命題同為假命題，這不是因為命題與命題的否定可以同真同偽，而是我們命題的否定給出是錯誤的。按照其他回答，可以給出，
若sina＞0，則a不一定＞0
看起來是正確的，也滿足了命題與命題的否定真假不同，但是「不一定」，這個說法，顯然不是一個數學上的說法，甚至都沒有符號，而且在上述a＝1的那個命題時我們也沒有採用這種說法，那要怎麼做才能得出準確的結論呢？下面給出解釋：
命題若A，則B，它的否定應當是A且非B
舉例剛才sina的那個命題，他的命題的否定換成容易看懂的敘述應當是
存在sina＞0，使得a≤0存在，
這樣是不是就完美的滿足了要求，按照這個思路往回推，其實這個原命題的本質是
存在sina＞0，任意a＞0，這樣就清晰多了。
是的，如果原命題為假命題，則否定形式一定是真命題。
這裡需要注意的是，「命題的否定形式」和「否命題」是兩個概念。前者是指出至少有一種情況下，原命題的前提是肯定的，而原命題的結論是否定的。
後者是指出如果否定了原命題的前提，那麼原命題的結論也是否定的。
舉例說明：
原命題：努力就會成功（假，大哭）。
這裡的前提是「努力」，結論是「成功」。
所以，原命題的否定形式是「至少有一種情況下，努力不成功」。
用大白話說，就是「努力也不一定成功。」（真，攤手）
而否命題是「不努力不成功」（假，嚎啕大哭）。
謝邀，根據國內高考數學的數理邏輯部分，是。一個命題與其否定必然一真一假，如果有誰給你舉個都是假的例子，那你可以推出是對方命題否定寫錯了。
推薦閱讀：
