Ajralish haqiqat bo'lishi uchun nima kerak?
Ajralish haqiqat bo'lishi uchun nima kerak?

Video: Ajralish haqiqat bo'lishi uchun nima kerak?

Video: Ajralish haqiqat bo'lishi uchun nima kerak?
Video: Ajrim uchun qanday hujjatlar talab etiladi 2024, Dekabr
Anonim

Bog'lovchi bilan ikkala gap ham bo'lishi kerak rost bog‘lovchi bo‘lishi uchun rost ; lekin a bilan ajratish , ikkala bayonot ham noto'g'ri bo'lishi kerak ajratish yolg'on bo'lish. A diszyunsiya hisoblanadi yolg'on, agar va faqat ikkala bayonot bo'lsa bor yolg'on; aks holda u haqiqat.

Shunga mos ravishda, diszyunksiya va birikma nima?

Bayonotlar - bu rost yoki yolg'on deb belgilanishi mumkin bo'lgan har qanday ibora. Ikki gap 'va' bilan birlashtirilganda sizda a bo'ladi birikma . Uchun bog‘lovchilar , qo‘shma gap to‘g‘ri bo‘lishi uchun ikkala gap ham to‘g‘ri bo‘lishi kerak. Ikki gapingiz "yoki" bilan birlashtirilganda, sizda a bo'ladi ajratish.

Xuddi shunday, Pvq nimani anglatadi? v: Bu anglatadi "yoki." jumla ( pvq ) to'g'ri bo'ladi, agar p to'g'ri bo'lsa yoki q rost bo'lsa yoki (p^q) rost bo'lsa. ->: Bu anglatadi "ishora qiladi." (p->q) gap faqat va p noto‘g‘ri yoki q to‘g‘ri bo‘lsa (((~p)vq) gap to‘g‘ri bo‘lsa to‘g‘ri bo‘ladi.

Shuni ham bilish kerakki, disjunction uchun qoida nima yoki?

The qoidalar ning ajratuvchi sillogizm va qoʻshimcha ikki gapning a orqali bogʻlanganidan bevosita kelib chiqadi AYRISH , ta'kidlangan narsa shundaki, hech bo'lmaganda disjunktlardan biri to'g'ri. Natijada, agar biz ayirmalardan biri yolg'on ekanligini bilsak, ikkinchisini ham bilamiz ajratilgan haqiqat bo'lishi kerak.

Haqiqat funksional argumenti nima?

Umumiy koʻrinish. Mantiqiy bog'lovchi - bu haqiqat - funktsional agar haqiqat -qo‘shma gapning qiymati a funktsiyasi ning haqiqat -uning pastki jumlalarining qiymati. Bog‘lovchilar sinfi haqiqat - funktsional agar uning har bir a'zosi bo'lsa. Ularning har xil qiymatlari haqiqat - kabi qiymatlar dalil odatda tomonidan beriladi haqiqat jadvallar.

Tavsiya: