Registre de correu electrònic: Logika dokazivanja mogućnosnih tvrdnji