RPFEF51zIBQIE
Ilustracja przedstawia koła zębate.

Czym jest zdanie w sensie logicznym?

Źródło: Petar Milošević, Wikimedia Commons, licencja: CC BY-SA 4.0.

Zdanie jest podstawową strukturą składniową każdego języka. W sensie gramatycznym jego obligatoryjnym składnikiem jest orzeczenie. W logice zdanie także musi o czymś orzekać, ale to nie jest warunek wystarczający, by uznać je za zdanie w sensie logicznym. Zdanie jest zdaniem dla logiki tylko wtedy, gdy może posiadać wartość logiczną. W logice klasycznej wartości te są dwie: prawda i fałsz (prawdziwość  fałszywość). Wyłącza to ze zbioru zdań te wypowiedzenia, które ze względu na swój tryb lub czas gramatyczny nie orzekają niczego o rzeczywistości. 

Twoje cele
  • Scharakteryzujesz zdanie w sensie logicznym.

  • Odróżnisz zdania analityczne i syntetyczne oraz związki analityczne między zdaniami.

  • Omówisz pojęcie funkcji zdaniowej, funktora i argumentu zdaniowego.

  • Omówisz znaczenie podstawowych spójników prawdziwościowych.