判斷是形式邏輯學中的研究內容之一。判斷是對客觀事物情況有所斷定的一種思維形式，是用肯定或否定的形式反映周圍現實一種思維形式。判斷的特徵有兩個（1）一是有斷定行為發生；（2）二是有判斷真假結果輸出。與概念的區別：第一，概念本身無所謂肯定或否定；第二，概念也無法表示它的真或假。判斷則不同，它至少是兩個概念的結合。判斷的種類，根據判斷中是否包含有「必然」、「可能」等模態詞，判斷劃分為模態判斷和非模態判斷。根據非模態判斷中是否包含有其他判斷，將非模態判斷劃分為簡單判斷和復合判斷。根據斷定的是物件的性質還是之間的關係，將簡單判斷劃分為性質判斷和關係判斷。根據復合判斷中包含的聯接項的不同，將復合判斷劃分為聯言判斷、選言判斷、假言判斷、負判斷。
性質判斷，又稱直言判斷，是指斷定思維物件具有或不具有某種性質的判斷。傳統邏輯把它稱為直言判斷。任何性質判斷都是由主項（s）、謂項（p）、聯項（是/不是）、量項（全部、部分、某個）四部分組成。根據性質判斷質和量的劃分標準，一共有六種型別：單稱肯定判斷（s是p）、單稱否定判斷（s不是p）、特稱肯定判斷（有s是p）、特稱否定判斷（有s不是p）、全稱肯定判斷（所有s是p）、全稱否定判斷（所有s不是p）。
關係判斷，是斷定物件與物件之間關係的一種判斷，它也是一種簡單判斷。任何關係判斷都是由關係者項（a,b）、關係項（r）、量項（乙個或一類）。
判斷的作用有三個，即判斷是概念的展開，判斷是推理的推理的基本要素，判斷是人們認識事物的工具。
程式中的判斷是對乙個變數的性質和關係的判斷，判斷的結果是決定行為是否發生和行為方向的依據資訊。判斷是出於對執行所處環境的一種保護，在程式中如變數是否為空、空間是否已滿、時間是否已到、變數是否是這個值都是一種避免程式出錯的措施。
程式中的判斷語句有兩種，一種是if-then ,一種是switch.
if語句是選擇控制或分支控制語句之一，用來對給定條件進行判定，並根據判定的結果（true/false)決定執行給出的兩種操作之一。if語句有三種形式，（1）單分支;（2）雙分支；（3）多分支。
語句結構
if(條件表示式)
語句結構
if(條件表示式) else
語句結構
if(條件表示式1)
else if(條件表示式2 )
else if(條件表示式3 )
switch語句是為了解決巢狀的if語句實現多分支選擇時由於巢狀層次過多，程式變得冗長難讀的問題，引入switch語句後，可使程式的結構清晰。
語句結構
switch(算述表示式)
查詢的哲學思考
資訊理論是研究資訊的基本性質和度量方法以及資訊的獲得 傳輸 存貯 處理和交換等一般規律的科學。資訊理論作為一門科學理論，發端於通訊工程。它具有廣義和狹義兩個概念 狹義資訊理論是應用統計方法研究通訊系統中資訊傳遞和資訊處理的共同規律的科學，即研究概率性語法資訊的科學 廣義資訊理論是應用數學和其他有關科...
讀寫的哲學思考
在本檔案討論的讀寫是指兩個空間中物質的位移。以其中乙個空間為參照物，從該空間中取出物質到放到另乙個空間中謂之讀，從另乙個空間中取出物質放到該空間中謂之寫。讀寫是兩個空間之間物質運動一種稱謂。讀的運動由空間1 空間2 物質 行為四個要素構成，寫的運動由空間1，空間2 物質 行為四個要素構成。讀的運動是...
網路安全的哲學思考
網路安全作為乙個現實存在，有產生 發展 消亡三個階段。當然這是從萬物有開始必有結束這個哲學的高度來說的。我們在技術的低層看到的是 我們從哲學的高度看到的是人性的弱點。從最基本的原理來說，安全是計算機這個物理層次和人這個精神層次的不一致造成的。兩者之間的鴻溝 gap 雖然可以通過良好的人機介面來彌補，...