Loģiskos mainīgos (?) apzīmēsim ar lielajiem latīņu alfabēta burtiem no A līdz Z.

Loģisko operāciju pieraksta piemēri (sākot ar spēcīgāk saistošajām (?) operācijām):

• noliegums: ~ A
• konjuncija: A /\ B (kreisā asociativitāte)
• disjunkcija: A \/ B (kreisā asociativitāte)
• implikācija: A -> B (labā asociativitāte)
• ekvivalence: A <-> B (nav asociativitātes)

Loģiskās aksiomas:

• L1:
• L2:
• L3:
• L4:
• L5:
• L6:
• L7:
• L8:
• L9:
• L10:
• L11:

Pierādāmā teorēma: |-