બે ક્રમિક પૂર્ણાંકોનો ગુણાકાર 2 વડે વિભાજ્ય છે. તેથી 4*5 (=20) એ 2 વડે વિભાજ્ય છે. આ કયા પ્રકારના તર્કનું એક ઉદાહરણ છે?