Sa loighic, is éard is asbheirt[1] ann ná aon chonclúid a infeirítear go bailí riachtanach ó na réamhleaganacha, is cuma an fíor na réamhleaganacha nó nach fíor. Mar shampla, is bailí an argóint: Is slánuimhreacha A agus B, agus mar sin is slánuimhir B, ach ní bailí an argóint Is slánuimhir A nó B, agus mar sin is slánuimhir B.[2]