Informasi yang berkaitan dengan fr/Proposition (logique)