অধ্যায় ১
আকাৰিক বৈধতা প্ৰমাণ (Formal proof of validity)
প্ৰশ্নমালা (Exercise)
1. যুক্তিৰ আকাৰিক বৈধতা প্ৰমাণ বুলিলে কি বুজা? আলোচনা কৰা।
What do you mean by formal proof validity? Discuss.
2. প্ৰাথমিক বৈধ যুক্তিৰ আকাক বুলিলে কি বুজা? এই প্ৰসঈত অনুমানৰ সুত্ৰ আৰু স্থলাষিক্তিকৰণৰ সূত্ৰবোৰ উল্লেখ কৰা।
What do you mean by elementary valid argument form? In this connection mention the Rules of Inference and Rules of Replacement.
3. আকাৰিক বৈধতা প্ৰমাণৰ আঁচনি সম্বন্ধে আলোচনা কৰা।
Explain the Strategy for deduction.
4. তলত দিয়া যুক্তিবোৰৰ আকাৰিক বৈধতা প্ৰমাণ কৰা।
Construct formal proof of validity for the following argument.
(a) P ⊃ Q (b) (LVM) ⊃ (N•O)
P ⊃ R 〜 N
∴ P ⊃ (Q • R) ∴ 〜 M
(c) X ⊃ (Y ⊃ Z) (d) A ⊃ B
∴ Y ⊃ (X ⊃ Z) ∴ (A • C) ⊃ B
(e) P ⊃ (QVR) (f) A ⊃ B
〜 Q C ⊃ B
∴ P ⊃ R ∴ (AVC) ⊃ B
(g) F ⊃ G (h) (H ⊃ 〜 I) • (I ⊃ J)
F V G J ⊃ H
∴ G 〜 K ⊃ I
∴ K
(i) W ⊃ (X ⊃ Y) (j) L⊃ (M•N)
X ⊃ (Y ⊃ Z) J 〜 K ⊃ I
∴ W ⊃ (X ⊃ Z) ∴ L ⊃ O
(k) A• (B•C) (l) P ⊃ (Q •〜 R)
(B•A) ⊃ [DV(EVF)] ∴ P ⊃ (R ⊃ Q)
〜 D• (〜 G • 〜 F)
∴ E
(m) W ⊃ 〜 (Z ⊃ X) (n) (FVG) ⊃ H
∴ W ⊃ Z ∴ F ⊃ H
(o) (KVL) ⊃ (M • N) (p) K ⊃ 〜 (L ⊃ M)
〜 K ⊃ (P ⊃ 〜 P) (N • L) ⊃ M
〜 M N
∴ 〜 P ∴ 〜 K
(Q) A ⊃ (B • C) (R) (W ⊃ X) • (Y ⊃ Z)
∴ A ⊃ B W VY
(W ⊃ 〜 Z) • (Y ⊃ 〜 X)
∴ X ≡ 〜 Z
Type : Priyam Jyoti Patar