Zdanie logiczne: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
genus proximum dodałem na początku |
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 ==
|