Práve vzťahom medzi základnými druhmi výrokov (súdov) venovala pozornosť tradičná logika. Pri skúmaní sa však obmedzovala výlučne na výroky, ktorých subjekt a predikát sú neprázdne termíny. To má veľký význam predovšetkým pre pravdivosť úsudkových schém. Tieto predpoklady môžeme vyjadriť pomocou predpokladov (premís): 1. Existujú nejaké S.; 2. Existujú nejaké
P.
Michal Psellos v 11. storočí znázornil povahu týchto základných výrokov graficky v podobe tzv. logického štvorca. My budeme túto grafickú metódu tiež používať. Základná schéma logického štvorca je na schéme.