Konstribusi logis ida kari kapanggih ring kalkulus proposisional kontemporer.