tradukoj: cs de en es fr hu pl pt ru

implikaci/o

implikacio

Dulokaj logika ligilo^1.b kaj la responda logika operacio, simbole skribata A⇒B (legu: „se a, tiam bo“) kaj reduktebla al kombino de nego kaj aŭo: ¬A∨B; ili (aprioraj lingvoj) havas simplan, rigidan sintakson, kaj ... dependas kvazaŭ parazite de aliaj lingvoj, konsistante el logikaj implikacioj (rilatoj „se ― tiam“) [1]; rimarku la plej gravan ŝanĝon ĉe la transformo de A⇒B al B: ... regulo kiun oni bezonas estas nomata forigo de implikacio, aŭ elimplikaciigo [2]; teoremoj ofte havas formon de implikacio; fizikan leĝon estas oportune prezenti per implikacio, precize indikante la kondiĉojn por ĝia valideco.

implikacia

Rilata al implikacio, entenanta implikacion: la pozitiva implikacia propozicikalkulo entenas du aksiomojn: A⇒(B⇒A) kaj (A⇒(B⇒C))⇒((A⇒B)⇒(A⇒C) , kaj unu derivregulon: la elimplikaciigon.

ambaŭdirekta implikacio [3]

Por du propozicioj A kaj B, kajo de iliaj reciprokaj implikacioj: A⇔B = (A⇒B)∧(B⇒A); difini ekvivalentecon per ambaŭdirekta implikacio.

elimplikaciigo [4]

Unu el la ĉefaj derivreguloj de la propozicia kalkulo: kiam estas konstatitaj la propozicioj A kaj A⇒B, tiam oni rajtas konkludi, ke validas B.