Viskas apie logiką

m – miesto meras, n – namas, kuriame aš gyvenu, b – Baltijos jūra ir pan. Tai individualios konstantos.
(taip pat raidėmis su indeksais x1, x2 …,xn): x – bet kuris arklys, y – bet kuris namas, z – bet kuris atstumas ir pan. Tai individualūs kintamieji.
žymėsime didžiosiomis raidėmis: F, G, P… o objektą, kuris turi tą savybe, skliaustuose prie savybės.
Pavyzdžiui, jei pažymėsime: m – miesto meras, G – savybė būti geram, tai simbolinis užrašas G(m) reikš „geras miesto meras“; jei x – bet kuris asmuo, tai G(x) – „asmuo x yra geras“; jei N – savybė būti namu, o y – bet kuris objektas, tai N(y) – reiškia „objektas y yra namas“.
5. Santykius tarp objektų
žymėsime didžiosiomis raidėmis: R, S…
Pavyzdžiui, x>y reiškia žinomą santykį „x daugiau už y“ o jei zn - namo aukštis, o santykį „šokti aukščiau už“ pažymėsime raide R, tai užrašas xRzn reikš „x – as šoka aukščiau už namo aukštį“.
Pasižymėkime kitą santykį: xSz, kur x - bet kuris individas, z – bet kuris aukštis, o S – santykis „pašokti iki aukščio z“, tada dviprasmybės „arklys šokinėja aukščiau už namą“ abi prasmės užsirašys taip:
1. A(x)  xRzn; 2.zxy[A(x)  N(y) (ySzxRz)]
6. Kvantorius (visos objektų klasės savybės) žymėsime:
 - visuotinumo (bendrumo) kvantorius, pvz.: xA(x) – „visi x-sai – arkliai“;
 - egzistencijos kvantorius, pvz.: yN(y) „egzistuoja y-kai, kurie yra namai“.
Teiginių logikos pažymėjimai
Teiginius
žymėsime mažosiomis raidėmis p, q, r, s… ;
pvz.: p – „saulutė tekėjo“,
q – „lapeliai mirgėjo“,
r – „du broliai brolužėliai žirgelį balnojo“.
Sudėtinių teiginių jungtis žymėsime:
~ - neigimo operacija, suteikianti teiginiui priešingą teisingumo reikšmę,
pvz.: „nei vėjai pūtė“, pasižymėjus „vėjai pūtė“ – p, simboliškai bus užrašyta: ~p;
 - konjunkcija du teiginius sujungia jungtimi „ir tas, ir tas“;
pvz.: jei pasižymėsime: p – „saulutė tekėjo“, q – „lapeliai mirgėjo“, r – „du broliai brolužėliai žirgelį balnojo“,
tai sudėtinis teiginys „saulutė tekėjo, lapeliai mirgėjo, o du...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!