CEVAP:

Leibniz Specimen Calculi Universalis bölümünde ilk olarak temel ilkeleri ortaya koyar. Bunların bir bölümü temel önermeler, bir bölümü (Skolastik mantık geleneğindeki gibi) temel sonuçlar, (consequantia) bir bölümü de buradaki kalkülün genel kurallarıdır. Buna göre sistem aşağıdaki bölümlerden oluşmaktadır. 

Temel önermeler:
1. A A dır.
2. AB A dır.
3. A A-değil değildir.
4. A-değil A değildir.
5. Bir şey A değilse A-değildir.
6. Bir şey A-değil değilse A dır.
Temel sonuç: A B dir ve B C dir ise, A C dir.