논리적 부정

수학노트
둘러보기로 가기 검색하러 가기

노트

  • Conversational negation acts like a graded similarity function, of the sort that distributional semantics might be good at capturing.[1]
  • The negation of a proposition is what is asserted when that proposition is denied.[2]
  • As you see, negation turns truths into falsehoods.[2]
  • Care must be taken over negation in natural language, however.[2]
  • Bob is unhappy' is not really the negation of 'Bob is happy', for Bob may be neither happy nor unhappy but neutral in respect of happiness.[2]
  • Negation: if p is a statement variable, the negation of p is "not p", denoted by ~p.[3]
  • the NOT operator performs bitwise negation, and ~ performs logical negation.[4]
  • For lists and hashes, the logical negation operator returns true (1) if the list or hash is empty; otherwise it returns false (0).[4]
  • The result of applying tilde to a sentence is the negation of that sentence.[5]
  • So exactly one of the pair made up from a sentence and its negation will be true.[5]
  • Instead, we find that people often express negations by inserting ‘not’ into a ‘positive’ sentence.[5]
  • You can interpret intuitionistic negation as ‘denial’ and paraconsistent negation as ‘doubt’.[6]
  • It seems simple to 'just say no', but negation is in fact astonishingly complicated.[7]
  • In logic the role of negation is so complex as to have defied complete understanding despite over two thousand years of concerted effort.[7]
  • The last form of negation to appear developmentally is the use of negation to deny a stated utterance.[7]
  • The fifth form of natural language negation uses negation to compare or quantify scalar values.[7]
  • Particular attention is paid to the relations between negation and the other operators of propositional and predicate calculus.[8]
  • → q. But note that negation reverses the direction of the inference: I don’t own an animal → I don’t own a dog.[9]
  • Language avails us of tools to express negation implicitly.[9]
  • Purely logical negation—which seems to be hidden in less (“Materials and methods”)—could thus be extracted.[9]
  • The various types of logical connectives include conjunction (“and”), disjunction (“or”), negation (“not”), conditional (“if . . .[10]
  • operator (logical complement, negation) takes truth to falsity and vice versa.[11]
  • In simpler terms, negation defines the polar opposition of affirmative, denies the existence or vaguely – a refutation.[12]
  • Double negative on the other hand, simply defines the existence of two forms of negation in the same sentence.[12]
  • The logical negation operator ( ! ) reverses the meaning of its operand.[13]
  • The negation of "A or B" is the statement "Not ANot B."Again, let's analyze an example first.[14]
  • not B.So the negation of "A,B" becomes "AB".[14]
  • The negation of the statement B is "There exists a poor person who is not sad.[14]
  • In classical logic, negation is normally identified with the truth function that takes truth to falsity (and vice versa).[15]
  • The negation of a proposition p {\displaystyle p} is notated in different ways, in various contexts of discussion and fields of application.[15]
  • This marks one important difference between classical and intuitionistic negation.[15]
  • There are a number of equivalent ways to formulate rules for negation.[15]
  • As such, negation relates an expression \(e\) to another expression with a meaning that is in some way opposed to the meaning of \(e\).[16]
  • Section 1 is concerned mainly with negation and opposition in natural language, both from a historical and a systematic perspective.[16]
  • Section 2 focuses on negation as a unary connective from the point of view of philosophical logic.[16]
  • Beyond its marked status, negation has also been analyzed variously as a modality, a propositional attitude, and a speech act.[16]

소스

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'logical'}, {'LEMMA': 'negation'}]
  • [{'LEMMA': 'negation'}]
  • [{'LOWER': 'logical'}, {'LEMMA': 'complement'}]
  • [{'LEMMA': 'complement'}]
  • [{'LOWER': 'logical'}, {'LEMMA': 'not'}]
  • [{'LOWER': 'not'}, {'LEMMA': 'operation'}]