Zdaniem logicznym w logice matematycznej nazywamy taką wypowiedź oznajmującą, której możemy w sposób jednoznaczny przypisać wartość logiczną - prawdę (1111) lub fałsz (0000). Pojedyncze zdanie logiczne oznaczamy najczęściej literami p,q,r,…p,q,r,\ldotsp,q,r,…p,q,r,\ldots
