Loading AI tools
Na lógica, os termos necessidade e suficiência são usados para descrever uma condicional material ou uma relação de implicação entre proposições. Por exemplo, na condicional "se P, logo Q", diz-se que Q é necessário para P porque P não pode ser verdade se Q não for. Semelhantemente, dizemos que "P é suficiente para Q", porque P ser verdade sempre implica que Q também é, mas P não ser verdade não significa que Q não é.[1] A asserção de que uma proposição é uma condição tanto necessária como suficiente de outra significa que aquela é verdadeira se e somente se esta também for, isto é, ou ambas são verdadeiras, ou ambas são falsas.[2]
- Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics. [S.l.]: Springer. pp. 8–9. ISBN 978-1-4419-7126-5
- Betz, Frederick (2011). Managing Science: Methodology and Organization of Research. Nova Iorque: Springer. p. 247. ISBN 978-1-4419-7487-7
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
