Logika: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
S Bot: Migrating 110 interwiki links, now provided by Wikidata on d:q8078 (translate me) |
|||
Eilutė 72:
=== Teiginių logika ===
Pagrindinis straipsnis: [[Teiginių
Teiginių skaičiavimas arba logika yra formali sistema, kurioje formulės gali būti sudaromos keičiant teiginius, taip pat naudojant logines jungtis. Logikoje įrodymo taisyklės leidžia tam tikras formules vadinti teoremomis.
| |||