Informasi yang berkaitan dengan fr/Proposition (logique mathématiques)