logical proof

/ˈlɒdʒɪkəl pruːf/

Tradução: Termo formal que designa uma sequência de afirmações ou raciocínios que demonstram a verdade de uma proposição, usado especialmente em matemática, filosofia e ciência da computação.

1 verbete

phrase

C1formalcommonscientific/ˈlɒdʒɪkəl pruːf/

A formal term referring to a sequence of statements or reasoning that demonstrates the truth of a proposition, typically used in mathematics, philosophy, or computer science.

🇷🇺Формальный термин, обозначающий последовательность утверждений или рассуждений, демонстрирующих истинность утверждения, обычно используемый в математике, философии или информатике.
🇪🇸Término formal que designa una secuencia de afirmaciones o razonamientos que demuestran la verdad de una proposición, utilizado comúnmente en matemáticas, filosofía o informática.
🇫🇷Terme formel désignant une suite d'énoncés ou de raisonnements démontrant la vérité d'une proposition, généralement utilisé en mathématiques, en philosophie ou en informatique.
🇩🇪Formeller Begriff für eine Abfolge von Aussagen oder Schlussfolgerungen, die die Wahrheit einer Behauptung belegen; wird vor allem in Mathematik, Philosophie und Informatik verwendet.
🇵🇹Termo formal que designa uma sequência de afirmações ou raciocínios que demonstram a verdade de uma proposição, usado especialmente em matemática, filosofia e ciência da computação.
🇨🇳一个形式术语，指一系列表明某个命题为真的陈述或推理，通常用于数学、哲学或计算机科学中。
🌐مصطلح رسمي يشير إلى سلسلة من العبارات أو الاستدلالات التي تثبت صحة قضية أو حكم، ويُستخدم عادة في الرياضيات والفلسفة وعلوم الحاسوب.

Reasoned demonstration B2 formal
A sequence of statements or arguments that demonstrates the truth of a conclusion based on premises, using valid reasoning.
- The mathematician presented a logical proof for the theorem.
- A logical proof requires that each step follows from the previous one.
- She constructed a logical proof to support her hypothesis.
🇵🇹Prova lógica