b'\n_START_ARTICLE_\nNecessidade e sufici\xc3\xaancia\n_START_PARAGRAPH_\nNa l\xc3\xb3gica, os termos necessidade e sufici\xc3\xaancia s\xc3\xa3o usados para descrever uma condicional material ou uma rela\xc3\xa7\xc3\xa3o de implica\xc3\xa7\xc3\xa3o entre proposi\xc3\xa7\xc3\xb5es. Por exemplo, na condicional "se P, logo Q", diz-se que Q \xc3\xa9 necess\xc3\xa1rio para P porque P n\xc3\xa3o pode ser verdade se Q n\xc3\xa3o for. Semelhantemente, dizemos que "P \xc3\xa9 suficiente para Q", porque P ser verdade sempre implica que Q tamb\xc3\xa9m \xc3\xa9, mas P n\xc3\xa3o ser verdade n\xc3\xa3o significa que Q n\xc3\xa3o \xc3\xa9. A asser\xc3\xa7\xc3\xa3o de que uma proposi\xc3\xa7\xc3\xa3o \xc3\xa9 uma condi\xc3\xa7\xc3\xa3o tanto necess\xc3\xa1ria como suficiente de outra significa que aquela \xc3\xa9 verdadeira se e somente se esta tamb\xc3\xa9m for, isto \xc3\xa9, ou ambas s\xc3\xa3o verdadeiras, ou ambas s\xc3\xa3o falsas.'