Дар бораи логикаи ҳисоб кардани Рипорти 2 гӯед: хусусиятҳои 'Аллакай тасдиқ шудааст' ва 'Тасдиқ шудааст' — онҳо чӣ маъно доранд ва чӣ гуна ҳисоб карда мешаванд?