kwadrat logiczny,
log. w logice tradycyjnej (Arystoteles) schemat graficzny obrazujący stosunki log., jakie zachodzą między zdaniami kategorycznymi;
kwadrat logiczny
Encyklopedia PWN
ogólnotwierdzącymi (SaP — „każde S jest P”), ogólnoprzeczącymi (SeP — „żadne S nie jest P”), szczegółowotwierdzącymi (SiP — „niektóre S są P”) i szczegółowoprzeczącymi (SoP — „niektóre S nie są P”).