Zdanie logiczne: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Idiotaa (dyskusja | edycje)
genus proximum dodałem na początku
Idiotaa (dyskusja | edycje)
przecinki i "...jest faktem".
Linia 1:
{{Inne znaczenia|terminu w logice matematycznej|[[Zdanie (ujednoznacznienie)|inne znaczenia słowa '''zdanie''']]}}
 
'''Zdanie w sensie logiki''' (zdanie logiczne) –podstawowa, 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 faktem, a ''z'' jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że ''s ''jest faktem.
 
== Intuicje ==