Asbheirt
Sa loighic, 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.

Tagairtí
Sa loighic , 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 . Tagairtí