Besonderhede van voorbeeld: 8716031844464455882

English

From this, one can derive rules of inference involving the K operator.

Spanish

Con base en lo anteiror, se pueden deducir reglas de inferencia en las que participe el operador K.