Implicație logică

Implicația logică este un conector logic (operație binară) care stabilește că din valoarea de adevăr a unei afirmații/propoziții logice date notate cu {i sau p} se poate obține adevărul sau falsul altei afirmații notate q.

Are structura standard de forma dacă i, atunci q. Propoziția i are numele de antecedent, iar propoziția q esteconsecvent al implicației.

Implicația logică este o operație binară care are două argumente: argumentul din stânga este implicatorul, iar argumentul din dreapta este implicitul.

Vezi și

• Deducție
• Dacă și numai dacă
• Disjuncție logică
• Disjuncție exclusivă
• Raționament logic
• Inducție matematică
• Negarea antecedentului
• Teoremă reciprocă
• Sistem axiomatic