Man könnte es - wenn die Intuition erst einmal versagt - mit Eike von Savigny:
Grundkurs im logischen Schließen versuchen.
Ganz selbstverständlich und konkurrenzlos sind Freges Grundannahmen, die heute als Logik gelehrt werden, in der Tat nicht:
Wahre oder falsche Aussagen seien im einfachsten Fall
zusammengesetzt aus je einem Prädikat und einem Eigennamen, z.B.
Willi hustet.
Auch
Sokrates ist ein Grieche
wird diesem Muster angeglichen, indem der Kopula
ist 'keine Bedeutung' beigemessen wird:
Grieche (Sokrates)
So auch
Hustet (Willi)
Das muss man sich erst mal klarmachen.
Dann kann quantifiziert werden:
Für alle x : Hustet (x)
Es gibt x : Hustet (x)
Dann können Junktoren auf diese 'Sätze' angewandt werden:
Hustet (Willi) und [i]Grieche (Sokrates)[/i]
oder
Nicht: Hustet (Willi)
oder
Es gibt x : Hustet (x) und [i]Grieche (Sokrates)[/i]
oder
Hustet (Willi) und Für alle x : Hustet (x)
oder
[i]Nicht: Hustet (Willi) und Für alle x : Hustet (x)[/i]
oder
[i][i]Nicht: [Hustet (Willi) und Für alle x : Hustet (x)[/i]][/i]