Logikos uždaviniai ir jų atsakymai
A. Įvertinkite sąvokos apibrėžimo taisyklingumą(raskite klaidą, jei yra), nu . Pirmosios instancijos eismo nutartis, kuri negali būti skundžiama, įsiteisėja ir vykdoma po jos paskelbimo.
Jei randame bent vieną prieštaravimą tarp antitezės sekmenų ir neabejotinai teisingų teiginių (tarkim, ~s2 yra įrodytas faktas), tai anksčiau įrodytieji argumentai laikomi teisingais, o mūsų suformuluotos prielaidos (antitezės) sekmenys įvertinami kaip klaidingi. Vadinasi, ši tezė turi du argumentus: 1) jei t 1) išvada (angl. Conclusion) – teiginys arba formulė, kuri gaunama iš kokios nors teigi 4) tiesioginė argumentacija - argumentacija, kurios demonstracijoje nenaudojamos sąlyginio ir netie 6) elementarus teiginys (angl. Atomic proposition) – teiginys, gaunamas propoziciniam 9) subordinacija (angl. Subordination) < lot. Sub+ ordinatim (ordinatim – liet. Iš eilės) – liet. Pajungimas. Teiginių logikoje - santykis tarp formulių, pagrįstas formulių išvedimo santykiu: viena formulė a subordinuota kitai formulei b, tik jei iš b gaunama a, bet b iš a negaunama. 10) konjukcija – sudėtinis teiginys, sudarytas iš kelių paprastų teiginių, sujungtų logine jungtimi ir . Mru logikos uždaviniai su atsakymais
