資料來源 : pyDict

形式邏輯

資料來源 : WordNet®

formal logic
     n : any logical system that abstracts the form of statements
         away from their content in order to establish abstract
         criteria of consistency and validity [syn: {symbolic
         logic}, {mathematical logic}]