(log.)
w logice wyrażenie sensowne, oznajmujące (innego rodzaju zdania, np. pytające, nie są z. w sensie logicznym), posiadające wartość logiczną, tzn. albo prawdziwe, albo fałszywe; z. logiczne dzielą się na twierdzenia, zaprzeczenia i przypuszczenia; ze względu na budowę na z. proste (w terminologii logicznej: kategoryczne), wśród których rozróżniamy jednostkowe, szczegółowe i ogólne oraz na z. złożone; w podziale typu epistemologicznego (poznawczego) wyróżniamy z. syntetyczne (aposterioryczne, empiryczne, uznawane za prawdziwe na podstawie doświadczenia) i analityczne (aprioryczne, prawdziwe mocą znaczenia wyrażeń); właściwościami zdań logicznych i operacjami, jakich można na nich dokonywać, zajmuje się rachunek zdań.
ALTERNATYWA, ELIPTYCZNE ZDANIE, WYNIKANIE, NEGACJA, ZDAŃ RACHUNEK, FUNKCJA ZDANIOWA