refutation system
[ˌrɛfjuːˈteɪʃən ˈsɪstəm]
nounpl: refutation systems
sistema de refutação
1. A logical or computational method designed to disprove or contradict a given statement, theory, or argument by demonstrating its falsity or inconsistency
The refutation system in automated reasoning uses contradiction to prove theorems.
O sistema de refutação em raciocínio automatizado usa contradição para provar teoremas.
2. In formal logic and computer science, a systematic approach to deriving a contradiction from a set of premises and their negation
The refutation system proved the hypothesis invalid by showing internal contradictions.
O sistema de refutação provou a hipótese inválida ao mostrar contradições internas.
3. A framework or procedure used to identify and counter false claims or logical fallacies
Philosophers use a refutation system to systematically challenge dubious arguments.
Filósofos usam um sistema de refutação para desafiar sistematicamente argumentos duvidosos.
This is primarily technical terminology used in logic, philosophy, computer science, and artificial intelligence. It is equally understood in both Brazilian Portuguese and Portugal, as it belongs to formal academic discourse. The concept is fundamental to automated theorem proving and logical reasoning systems used in AI and computational logic research.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →