negate – מילון אנגלי-אנגלי
מילים נרדפות: vary,
deviate,
diverge,
depart,
differ,
dissent,
disagree,
take issue,
prove,
shew,
show,
establish,
demonstrate,
weaken
negate
v.
deny; refute, rebut, prove something wrong; neutralize; contradict
Negation
In
logic,
negation, also called
logical complement, is an
operation that takes a
proposition p to another proposition "not
p", written
¬p, which is interpreted intuitively as being true when
p is false and false when
p is true. Negation is thus a unary (single-argument)
logical connective. It may be applied as an operation on
propositions,
truth values, or
semantic values more generally. In
classical logic, negation is normally identified with the
truth function that takes
truth to
falsity and vice versa. In
intuitionistic logic, according to the
Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition
p is the proposition whose proofs are the refutations of
p.
negate
Verb
1. be in contradiction with
(synonym) contradict, belie
(hypernym) deviate, vary, diverge, depart
(derivation) negation
2. deny the truth of
(synonym) contradict, contravene
(hypernym) disagree, differ, dissent, take issue
(hyponym) deny
(derivation) negation
3. prove negative; show to be false
(synonym) contradict
(antonym) confirm, corroborate, sustain, substantiate, support, affirm
(hypernym) prove, demonstrate, establish, show, shew
(hyponym) invalidate, nullify
(classification) logic, logical system, system of logic
4. make ineffective by counterbalancing the effect of; "Her optimism neutralizes his gloom"; "This action will negate the effect of my efforts"
(synonym) neutralize, neutralise, nullify
(hypernym) weaken
negare
v.
deny, refuse, disclaim, negate, withhold, unsay, gainsay
negate
v.
zrušit; popřít
