negational造句

• Frege's first work, the " Begriffsschrift " ( " concept script " ) is a rigorously axiomatised system of propositional logic, relying on just two connectives ( negational and conditional ), two rules of inference ( " modus ponens " and substitution ), and six axioms.
• The Expression plane consists of " the book " which is a noun phrase with a determiner, a finite verb with a negational adverb " hasn't ", and a passive verbal phrase " been read " with an agent " by anyone " and a time adverb " for a while ".