Besonderhede van voorbeeld: 8773821911356166399

English

Let M be any modal system whose only inference rules are modus ponens and necessitation.

Spanish

Sea M cualquier sistema modal cuyas únicas reglas de inferencia son modus ponens y necesidad.