Tipe pertama adalah perbandingan kuantitas. Jika iks sama dengan dua ye dan ye lebih dari nol, tentukan hubungan P dan Q. Karena P sama dengan tiga iks dan Q sama dengan lima ye, kita substitusikan menjadi P sama dengan tiga dikali dua ye, hasilnya enam ye. Karena enam ye lebih dari lima ye, maka P lebih dari Q.