Кванторлар
Жиі кездесетін сөйлемдерді квантор деп аталатын символдармен белгілеу ыңғайлы және пайдалы. Біз келесі үш символды пайдаланамыз:
1. «кез келген», «барлық», «әрбір», «қандайда болмасын» сөйлемшелері математикада бір мағынада қолданылады да  кванторымен белгіленеді. (ағылшын тіліндегі All сөзінің бірінші әрпінің төңкеріліп жазылуы).
2. «табылады», «белгілі бір» сөйлемшелері математикада бір мағынада қолданылады да  кванторымен белгіленеді. ( сөзінің бірінші әрпінің аударылған түрі).
3. «шығады», «салдары» деген сөйлемшелер  кванторымен белгіленеді.
Математикалық сөйлемдерді логикалық символдар арқылы ықшамдап жазуға болады.
« жиынында жатқан әрбір  үшін  қасиеті орындалады» деген  түрінді, ал « жиынынан қасиетін қанағаттандыратын  элементі табылады» деген  түрінде жазылады.
Достарыңызбен бөлісу: |
