英和和英

名詞

negand (複数形 negands)

1. (logic) The proposition that is to be negated.
   • 2006, Dov M. Gabbay, John Woods, Logic and the Modalities in the Twentieth Century, page 345

     A negation is true if and only if the negand is not true.

   • 2012, Nicholas Jeremy Josef Smith, Logic: The Laws of Truth, page 25

     "Maisie is a rottweiler" is the negand of "Maisie is not a rottweiler."

   • 2015, Howard Gregory, Language and Logics

     In a negation, the formula being negated is called the negand.