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í