Yahoo奇摩字典 網頁搜尋

  1. formal logic

    • n.
      logic based on argument involving deductively necessary relationships and including the use of syllogisms and mathematical symbols.
    • noun: formal logic, plural noun: formal logics