Logikos namų darbų užduotys


Logikos namų darbas. Loginių klasių teorija. Teiginių logika. A. Formalizuokite šiuos teiginius. Silogistika. Loginių klasių teorija. Teiginių logika. Silogistika.


Pažeista pakeičiamumo taisyklė, apibrėžimas per siauras, kadangi bet kuris šventasis yra žmogus, darantis gerus darbus, tačiau ne bet kuris darantis gerus darbus žmogus yra šventasis.

Pažeista vienareikšmiškumo taisyklė, nes tuo pačiu apibūdinimu galima apibrėžti ir daugiau subjektų, ne tik šventuosius.

Žmonių skirstymas į toliaregius ir trumparegius yra nepilnas ir nenurodomi visi skirstymo nariai. Kadangi skirstymas turi būti tolygus, tačiau sąvoka suskirstyta pagal nepilną skirstymą - skirstymas laikomas netaisyklingu.

„Nusikaltėlis” ir „Žmogus” - subordinacija, kadangi visi nusikaltėliai yra žmonės. „Nusikaltėlis” ir „Pilnametis”, „Žmogus” ir „Pilnametis” - sankirta, nes tiek „Žmogus”, tiek ir „Nusikaltėlis” gali būti „Pilnametis”.

p - pirmosios instancijos teismo nutartis, kuri negali būti skundžiama, įsiteisėja

q - pirmosios instancijos teismo nutartis, kuri negali būti skundžiama, yra vykdoma

(p · q) ( r arba ~r ( ~(p · q)

r - kilusias abejones galima pašalinti tik nagrinėjimo teisme metu

(p V q V r) ( (s V t V u)

4. Propozicinis kintamasis - elementarus nedalomas teiginių logikos elementas, elementari dirbtinės teiginių logikos kalbos išraiška. Jis žymi vietą, kurią dirbtinėje teiginių logikos kalboje gali užimti teiginys.

Formalizavimas - natūralia kalba išsakyti tvirtinimai pakeičiami propoziciniais kintamaisiais, o teiginių logikos operatorius atitinkantys sintaksiniai ryšiai – operatoriais.

mąstymo forma, išreiškianti esminius ir bendruosius objektų požymius. Sąvokos paprastai reiškiamos bendriniais daiktavardžiais arba daiktavardiniais žodžių junginiais, išreiškiančiais sąvokos turinį.

  • Logika Namų darbai
  • 2014 m.
  • 4 puslapiai (970 žodžių)
  • Logikos namų darbai
  • Microsoft Word 22 KB
  • Logikos namų darbų užduotys
    10 - 4 balsai (-ų)
Logikos namų darbų užduotys. (2014 m. Gegužės 27 d.). http://www.mokslobaze.lt/logikos-namu-darbu-uzduotys.html Peržiūrėta 2016 m. Gruodžio 04 d. 20:36