Математik маnтiq аsoslari



Yüklə 18,49 Kb.
səhifə1/2
tarix12.04.2023
ölçüsü18,49 Kb.
#96777
  1   2
GmqOUPkzJCYWaYNV08zqFKVhZbb1Bqq2uWu4JTJ8


МАТЕМАТIK МАNТIQ АSOSLARI
1.1. Sodda va tuzilgan fikrlar. Fikr o‘zgaruvchilari
Fikr tushunchasi matematikada boshlang‘ich tushuncha bo‘lib, unga ta’rif berilmaydi. Unga quyidagicha mazmun berish mumkin.
Rost yoki yolg‘on deyish ma’noga ega bo‘lgan gapga fikr deyiladi.
Shunday qilib fikr xususiyati shundaki ikkita qiymatdan birini rost -1, yoki yolg‘on – 0 qabul qiladi. Bu qiymatlarga fikrning haqqoniylik qiymatlari deyiladi. Fikrlar sodda yoki tuzilgan bo‘lishi mumkin.
Ta’rif 1. Agar A fikrda o‘zi bir fikr bo‘lgan va ma’nosi bo’yicha A bilan ustma-ust tushmaydigan bir qismini ajratib ko‘rsatishni iloji bo‘lmasa A fikr sodda fikr deyiladi, aks holda A fikr tuzilgan fikr deyiladi.
Sodda fikrlar lotin alifbosining bosh harflari bilan belgilanadi – A, B, C, ….
Ularning rost yoki yolg‘onligini esa A=1 yoki B=0 kabi belgilanadi.
Ta’rif 2. O‘zgaruvchan fikrlarni belgilash uchun ishlatiladigan harflarga fikr o‘zgaruvchilari deyiladi.
1.2. Bul funksiyalari
Argumenti va funksiya qiymati 0 yoki 1 qiymatni qabul qiluvchi n ta o‘zgaruvchi x1, x2, … , xn ga bog‘liq bo‘lgan har qanday y=f (x1, x2, … , xn) funksiyaga Bul funksiyasi deyiladi.
n o‘zgaruvchili Bul funksiyasini rostlik jadvali bilan berish mumkin.
Inkor – bir o‘zgaruvchili Bul funksiyasi bo‘lib, quyidagicha rostlik jadvali bilan beriladi:

x

0

1

Belgilanishi

f(x)

1

0

x


Yüklə 18,49 Kb.

Dostları ilə paylaş:
  1   2




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin