Pasiruošimas kontroliniam darbui

More documents

Recommendations

Info

Teiginių logikaGalimi uždaviniaiPredikatų logika1. Teisingumo funkcijų tobulos normaliosios formos:TNDF ir TNKF.2. Tautologijos ir neįvykdomumo įrodymas konkrečiaiformulei;3. Formulės teisingumo reikšmės nustatymas, kai yraduotas rinkinys arba vieno atomo ar loginės operacijosteisingumo reikšmė;4. Sistemos pilnumo tyrimas;5. Lygčių sprendimas skirtingais metodais;6. Formulių prastinimas;7. Išplaukimų patikrinimas: teisingas ar ne;8. Kontaktinių schemų tyrimas.Matematinė logika3Teiginių logikaGalimi uždaviniaiPredikatų logika1. Teisingumo funkcijų tobulos normaliosios formos:TNDF ir TNKF.Sudarykite funkcijosP Q R P Q RTNDF ir TNKF.Matematinė logika42
Teiginių logikaGalimi uždaviniaiPredikatų logika2. Tautologijos ir neįvykdomumo įrodymas konkrečiaiformulei;a) Įrodykite formulėsP Q ~Q Ptapatųjį teisingumą dviem būdais.b) Be teisingumo lentelių įrodykite formulėsP P Q Qprieštaringumą.Matematinė logika5Teiginių logikaGalimi uždaviniaiPredikatų logika3. Formulės teisingumo reikšmės nustatymas, kai yraduotas rinkinys arba vieno atomo ar loginės operacijosteisingumo reikšmė;a) Nurodykite, ar pakanka duomenų šios formulėsteisingumo reikšmei nustatyti. Jei pakanka, nurodykitetą reikšmę. Jei nepakanka, tai parodykite, kad formulėgali įgyti ir reikšmę t, ir reikšmę k.P Q R;tb) Apskaičiuokite formulės ( P ~ Q R) S Q teisingumoreikšmę, kai duotas rinkinys (P, Q, R, S) = (t, t, k, t).Matematinė logika63
Page 1: Pasiruošimas kontroliniamdarbuidoc
Page 5 and 6: Teiginių logikaGalimi uždaviniaiP

Pasiruošimas kontroliniam darbui

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?