{{Inne znaczenia|terminu w logice matematycznej|[[Zdanie (ujednoznacznienie)|inne znaczenia słowa '''zdanie''']]}}
'''Zdanie w sensie logikilogiczne''' (zdanie logiczne)– –podstawowapodstawowa, obok [[Nazwa|nazwy]], kategoria syntaktyczna, [[wypowiedź]], która stwierdza określony [[stan rzeczy]]. Zdanie ''z'' języka ''J'' stwierdza (na mocy reguł semantycznych ''J'') stan rzeczy ''s'' zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka ''J'': zdanie ''z'' jest prawdziwe zawsze i tylko wtedy, gdy ''s'' jest [[fakt|faktem]], a ''z'' jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że ''s ''jest faktem.
'''Zdanie logiczne''' jest zdaniem oznajmującym, któremu można przypisać jedną z [[wartość logiczna|wartości logicznych]]. W logikach dwuwartościowych są nimi [[prawda (logika)|prawda]] albo [[fałsz]]. Ponieważ język logiki i matematyki znacznie różnią się od [[Język (mowa)|języków naturalnych]], możemymożna modyfikować określenie podane w poprzednim zdaniu tak, aby dopasować je do wymogów [[Język (logika)|języków formalnych]]. I tak możemymożna określać '''zdanie logiczne''' jako wyrażenie (niekoniecznie o skończonej długości), złożone z symboli danego języka połączonych relacjami [[iloczyn logiczny|iloczynu logicznego]], [[suma logiczna|sumy logicznej]] i [[negacja logiczna|negacji]], któremu można (przynajmniej teoretycznie) podporządkować jedną z wartości logicznych.▼
== Intuicje ==
▲'''Zdanie logiczne''' jest zdaniem oznajmującym, któremu można przypisać jedną z [[wartość logiczna|wartości logicznych]]. W logikach dwuwartościowych są nimi [[prawda (logika)|prawda]] albo [[fałsz]]. Ponieważ język logiki i matematyki znacznie różnią się od [[Język (mowa)|języków naturalnych]], możemy modyfikować określenie podane w poprzednim zdaniu tak, aby dopasować je do wymogów [[Język (logika)|języków formalnych]]. I tak możemy określać '''zdanie logiczne''' jako wyrażenie (niekoniecznie o skończonej długości), złożone z symboli danego języka połączonych relacjami [[iloczyn logiczny|iloczynu logicznego]], [[suma logiczna|sumy logicznej]] i [[negacja logiczna|negacji]], któremu można (przynajmniej teoretycznie) podporządkować jedną z wartości logicznych.
=== Przykłady zdań ===
* Pada teraz deszcz.
: Jest to zdanie w sensie logiki gdyż można mu przypisać wartość prawda lub fałsz.
