Logika formala inferentzia-sistema bat da, beste proposizio batzuetatik abiatuta argumentuz baliozkoak diren proposizioak ezartzen dituen metodologia alegia, hizkuntza formal batean edo esanahi zehatz edo abstraktua duten sinbolo edo token multzo batean oinarrituta, horiek elkarrekin konbinatuz gramatika-arau zehatz batzuen bidez, horrela, modu sistematikoan ezarriz hizkuntza eta logika horren bitartez baliozkotasunez esan daitekeena edo ez. Horrela, logika formalak ohikoan darabilgun hizkuntza naturalean oinarritzen den logika naturaletik bereizten dira, logika naturalak erregela anbiguoak dituelarik, nahiz eta horrela logika formala baino askoz aberatsagoa eta sakonagoa den, eraiki ditzakeen esanahiei dagokienez.
Erabili ezazu galdetegi hau artikulu eskaera bat bidaltzeko. Lehenbailehen osatzen saiatuko gara.
Gure azken edukien berri jaso nahi baduzu zure email helbidean, egin zaitez harpidedun hurrengo galdetegi hontan.
