Logika

Logika inggih punika paplajahan indik penalaran sané patut. Puniki ngranjing formal miwah logika informal. Logika formal inggih punika paplajahan indik valid deduktif kesimpulan utawi kebenaran logis. Puniki nureksain sapunapi kesimpulan nginutin saking premis madasar antuk struktur argumen manten, nénten mapaiketan sareng topik miwah dagingnyané. Logika informal mapaiketan sareng kaiwangan informal, pikayun kritis, miwah teori argumen. Logika informal nureksain argumen sane kawedar ring basa alami nanging logika formal nganggen basa formal. Rikala kaanggén pinaka kruna aran sané prasida kaitung, parinama logika manut ring logika tertentu sistem formal sané ngartikulasiang sistem bukti. Logika mabuat pisan ring makudang-kudang widang, sakadi tattwa, matematika, ilmu komputer, miwah linguistik.