Looginen totuus
•Syllogismin looginen totuus on yleinen, ja riippumaton Pekan tai muiden Sveitsin lukion oppilaiden ahkeruudesta.
•Yleisesti:
Jokainen x on y
P on x
Siis
P on y
X  *P
Y
Sama voidaan esittää joukko-opissa:
XÌY ja PÎX ®P ÎY
Looginen totuus on Aristoteleen ja muiden kreikkalaisten mielestä jollain tavoin muiden totuuksien yläpuolella.  Totta onkin, että looginen totuus on jollain tavoin selvästi varmempi, kuin empiirinen tieto.  Looginen totuus ei oikeastaan kerro kuitenkaan maailmasta mitään.

Tekeekö tietokone virheitä?
Jos tietokone ei tee virheitä, niin voiko internetiin 100%:sti luottaa?
Onko Pekka lopultakaan ahkera?