Steiginys – tai logikos sąvoka, reiškianti teiginį, kuriam galima priskirti vieną iš dviejų loginių reikšmių: tiesa (1) arba melas (0). Tai pagrindinis logikos objektas.
Pagrindinės savybės:
- Jis turi aiškią prasmę.
- Jis yra arba teisingas, arba klaidingas (ne abu kartu ir ne kažkas tarp).
- Klausimai, liepiamieji sakiniai ar šauktukai nėra steiginiai.
Pavyzdžiai:
| Steiginys | Loginė reikšmė (pavyzdinis) |
|--|--|
| "Vilnius yra Lietuvos sostinė." | Tiesa (1) |
| "2 + 2 = 5" | Melas (0) |
| "Šiandien lyja." | Gali būti tiesa ar melas (priklauso nuo faktų) |
| "Žemė sukasi aplink Saulę." | Tiesa (1) |
Kas nėra steiginys:
- "Uždaryk duris!" (liepiamasis sakinys)
- "Ar jau vakaras?" (klausimas)
- "Ačiū!" (jaustukas)
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.