應用特別符號代替日常語言的符號,所成的語言就是形構化語言(formalized ... A與B互相涵蘊若且唯若「(A≡B) 是對確式。( ) ... (p/q)/(p/q)和(p↓p)↓(q/q)等值。( )
確定! 回上一頁