"negatsioone" - 1 õppematerjal

Loogika konspekt 1-5

Muutuja on valemis seotud, kui kõik tema esinemised on valemis seotud. Vastasel juhul on muutuja vaba. Valem on kinnine, kui kõik tema muutujad on seotud. Vastasel juhul nimetatakse valemit lahtiseks. Lauseks nimetatakse predikaatarvutuse valemit, milles ei ole vabu muutujaid. Klassikalise loogika kategoorilised väited on esitatavad predikaatarvutuse keeles rakendades sobivalt defineeritud ühekohalistele predikaatidele üldisus- ja olemasolukvantorit või nende eitusi (negatsioone). Kuna järgnevates näidetes on juttu vaid ühekohalistest predikaatidest, on neis lihtsuse huvides mõnikord kasutatud lühemat väljendit ,,predikaat" väljendi ,,ühekohaline predikaat" asemel. (Siin on kasulik nõuda, et indiviidide hulk ei tohi olla tühi.)  29_fl_i-v Üldjaatavad laused Kõik S on P (SaP) ehk Iga S on P saadakse rakendades