Afirmație (logică)
Salt la navigare Salt la căutare
Afirmația logică este o afirmație care afirmă că o anumită premisă este adevărată. Este echivalent cu un succesiv fără antecedent .
De exemplu, având în vedere propoziția p = "x este un număr par", următoarea implicație este adevărată: