Autorius (-ė) Romanas Plečkaitis

įrodymas
teiginio teisingumo nustatymas remiantis kitais teiginiais, kurių teisingumas jau žinomas. Daugiau
išsprendžiamumas
algoritmo, leidžiančio nustatyti išraiškos teisingumo reikšmę, sukūrimo galimybė. Daugiau
išvada
teiginys, loginio samprotavimo būdu gaunamas iš kitų teiginių (prielaidų) ir turintis naujų žinių. Daugiau
išvados
taisyklė
apibrėžia būdus, kuriais leidžiama samprotavime iš prielaidų gauti išvadą. Daugiau
Adomas
Jakštas
tikrasis vardas ir pavardė Aleksandras Dambrauskas, 19–20 a. Lietuvos katalikų kunigas, visuomenės veikėjas, literatūros kritikas, filosofas. Daugiau
Jonas
Solsberietis
12 a. anglų filosofas scholastas. Vienas vidurinių amžių ankstyvojo humanizmo reiškėjų. Daugiau
kartezianizmas
naujųjų amžių filosofijos ir gamtos mokslų kryptis, sekusi R. Descartes’o pažiūromis ir jas plėtojusi. Daugiau
Jonas
Kimbaras
17 a. lietuvių filosofas. Sekė tuometinės modernizuotos scholastikos pažiūromis, nepripažino kai kurių vidurinių amžių scholastikos teorijų. Daugiau
kintamasis
dydis
logikoje – formalizuotos kalbos ženklas, nežymintis apibrėžto objekto ir galintis turėti įvairių reikšmių. Daugiau
klasė
visuma objektų, turinčių bendrus požymius. Daugiau