1. Zdaniem w sensie logicznym nazywamy twierdzenie, któremu można przyporządkować jedną z dwóch wartości logicznych prawdę (wartość logiczna 1) albo fałsz (wartość logiczna 0).

W języku potocznym mamy do czynienia ze zdaniami, które zawierają pewną treść. Nie każde jednak zdanie w sensie gramatycznym jest zdaniem w sensie logiki.


Zdaniem logicznym nazywamy zdanie oznajmujące, któremu można jednoznacznie przypisać ocenę prawdy lub fałszu, w oparciu o obiektywne kryteria.



„Dziś jest ładna pogoda” - oznajmujące zdanie gramatyczne, które nie jest zdaniem logicznym (nie mamy ustalonych precyzyjnie kryteriów decydujących o tym czy pogoda jest ładna).


W rachunku zdań właściwie nie interesuje nas ich treść, a tylko ich wartość logiczna.
teoria