Pengkelompokkan Proposisi dalam Ilmu Logika