Išplėstinė paieška
 
 
 
Pradžia>Logika>Logikos šperos

Logikos šperos (4 darbai)

Rūšiuoti pagal
  • Logika

    Filosofinės logikos špera. Loginės klaidos, Tezės pakeitimas, Abejotina prielaida, Ydingas ratas, Provincializmas, Nenuoseklumas, Proporcijos trūkumas, Dvigubas standartas, Klaidinga dilema, Formali klaida, Tariamas samprotavimas, Klaidos pridengimas klaida, Apeliacija į autoritetą, Apeliacija į liaudį, Apeliacija į asmenį, Apeliacija į tuštybę, Apeliacija į nežinojimą, Jėgos argumentas, Dviprasmybė, Klaidinga analogija.
    Logika, špera(4 puslapiai)
    2005-04-24
  • Logika (12)

    Sąvokų simboliniai pažymėjimai. Teiginių logikos pažymėjimai. Loginių klasių teorijos simboliniai pažymėjimai. Teisingumo lentelės. Ekvivalentiškumo tautologijos. Disjunktyvioji ir konjunktyvioji normalioji forma. Veiksmai su loginėmis klasėmis. Elementarūs klausimai. Loginių santykių nustatymas. Teiginių logikos dėsniai. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Klasių logika.
    Logika, špera(10 puslapių)
    2006-06-06
  • Logika (3)

    Sutrumpintos teisingumo lentelės. Pagrindinės išplaukimo taisyklės. Teiginių logikos taikymas natūraliai kalbai. Natūralios kalbos sakinių užrašymas matematinės logikos kalba. Logika. Samprotavimų analizė. Teiginių logikos metodai. Sakinių pervedimas į logikos kalbą. Įrodymų teorija. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. Dedukcijos teorema. Teorijos neprieštaringumas. Loginių operatorių įvedimo ir pašalinimo taisyklės. Teorijos "L" pilnumas. Predikatų skaičiavimas. Kintamųjų apibrėžimo sritis. Tapatusis teisingumas.
    Logika, špera(19 puslapių)
    2005-12-20
  • Logika (9)

    Trys ženklo matmenys. Semantikos ir sintaksės santykis. Semantika: reikšmė ir prasmė. Semantinių kalbos pakopų teorija. Semantikos ir pragmatikos santykis. Kalbinis žaidimas pagal L.Wittgensteiną. Kalbinis aktas pagal Jakobsoną. Teisingumo kriterijai.
    Logika, špera(4 puslapiai)
    2006-04-18