Эквивалентлик хукмлари «агар ва фақат агар ... унда» мантиқий боғловчиси ёрдамида икки оддий хукмнинг ўзаро боғланишидан хосил бўлади. Табиий тилда эквивалентлик хукми шартли хукм кўринишида ифодаланади. Бундай холатларда шартли хукмнинг эквивалент хукм эканлигини аниқлаш зарур бўлади. Агар шартли хукмнинг асоси натижада қайд этилган фикр учун зарурий ва етарли шарт хисобланса, унда бу хукм эквивалент хукм бўлади. Масалан:» Агар берилган бутун сон жуфт сон бўлса, унда у иккига қолдиқсиз бўлинади».
Эквивалент хукмнинг мантиқий боғловчиси () символи, яъни (моддий) эквивалентлик белгиси билан ифодаланади. Эквивалент хукмнинг чин бўлиш шартлари қуйидагича:
p
|
қ
|
pқ
|
чин
чин
хато
хато
|
чин
хато
чин
хато
|
чин
хато
хато
чин
|
Do'stlaringiz bilan baham: |