Professional Documents
Culture Documents
HW04S
HW04S
1.3. ყველა სტუდენტს უყვარს მეგობრების წრეში დროს გატარება, ხოლო ყველა სტუდენტი
ახალგაზრდაა და გამოდის, რომ ყველა ახალგაზრდას უყვარს მეგობრების წრეში
დროს გატარება.
M - სტუდენტი
P - ის ვისაც უყვარს მეგობრების წრეში დროს გატარება
S - ახალგაზრდები
გამოვიდა:
MaP დიაგრამაზე დავიტანოთ MaP
და MaS
MaS
____
SaP
ამის შემდეგ SaP მაინც შესაძლებელია მცდარი იყოს;
ეს მოხდება თუ რაიმე ელემენტს ჩავსვამთ S-ის იმ
ნაწილში რომელიც P-ს გარეთაა. ასეთ სიტუაციაში
წანამძღვრები ისევ ჭეშმარიტია ხოლო დანასკვი
მცდარი.
ე.ი. დასკვნა არ არის მართებული.
1.4. ზოგიერთი წვიმა ჟუჟუნაა. ამიტომ ზოგი, ვინც მინდორი დანამა, ჟუჟუნაა, რადგან ყველა,
ვინც მინდორი დანამა, წვიმაა.
S - ვინც მინდორი დანამა
P - ჟუჟუნა
M - წვიმა
გამოვიდა:
MiP დავიტანოთ SaM და რომ MiP ისე რომ SiP-ს დარჩეს გამცდარების
SaM საშუალება (თუ შევძლებთ).
_____
SiP
თუ S-ს და P-ს საერთო ნაწილი დაცარიელდება, ეს
იქნება MiP-ის SaM-ის და SeP-ის (SiP-ის
კონტრადიქტორულის) მოდელი (ისეთი სიტუაცია
როდესაც სამივე MiP, SaM და SeP ჭეშმარიტია) და
ამიტომ ასეთი სიტუაცია იქნება MiP, SaM/ SiP დასკვნის
კონტრმოდელი.
რადგან დასკვნას მოეძებნა კონტრმოდელი ის არ
არის მართებული.
ლოგიკა. დავალება IV-ის ამოხსნა
1.5. ზოგიერთი სამხრეთელი ბეტმენი ცბიერია. ამიტომ ზოგი, ვინც ჯოკერს ჭკუაში ატყუებს,
არ არის ცბიერი, რადგან არცერთი, ვინც ჯოკერს ჭკუაში ატყუებს, არ არის
სამხრეთელი ბეტმენი.
S - ვინც ჯოკერს ჭკუაში ატყუებს
P - ცბიერი
M - სამხრეთელი ბეტმენი
გვაქვს:
MiP
SeM
____
SoP
ვხედავთ, რომ იმ პირობებში, როდესაც MiP და SeM
ორივე ჭეშმარიტია SoP შეიძლება მაინც იყოს მცდარი
(ანუ იმის მიუხედავად, რომ MiP და SeM ორივე
ჭეშმარიტია, S-ის ის ნაწილი რომელიც არ შედის და
P-ში შეიძლება იყოს ცარიელი).
რადგან ამ დასკვნას გააჩნია კონტრმოდელი, ეს
დასკვნა არ არის მართებული.
1.6. ზოგიერთი ბანკირი მხარს არ უჭერს მაღალ ტარიფებს, რადგან, ყველა, ვინც მხარს
უჭერს მაღალ ტარიფებს, კონსერვატიული პარტიის წევრია, ხოლო კონსერვატიული
პარტიის ზოგიერთი წევრი არ არის ბანკირი.
S - ბანკირი
P - ვინც მხარს უჭერს მაღალ ტარიფებს
M - კონსერვატიული პარტიის წევრი
გვაქვს:
PaM დიაგრამაზე დავიტანოთ PaM და MoS
MoS
____
SoP
ვხედავთ, რომ SoP მაინც შეიძლება იყოს მცდარი (ეს
რეალიზებულია S-ის იმ ნაწილის დაცარიელებით, რო-
მელიც არ შედის და P-ში).
მაშასადამე ეს დასკვნა არ არის მართებული.
ლოგიკა. დავალება IV-ის ამოხსნა
1
მართებული დასკვნის განმარტების თანახმად პირობის აუცილებლობა არ არის რთული დასანახი,
საკმარისობა კი უკავშირდება „თუ, ... მაშინ ...“ კონსტრუქციის ჭეშმარიტობა/მცდარობის საკითხს. რაზეც
ჯერ არ გვისაუბრია. ამიტომ პირობის საკმარისობა ცოტა რთული დასანახია. აუცილებლობა და
საკმარისობა ჩანს შემდეგი მსჯელობით : „თუ A და B ჭეშმარიტია, მაშინ C ჭეშმარიტია“ სწორია მაშინ და
მხოლოდ მაშინ როდესაც სწორია „თუ A ჭეშმარიტია, მაშინ თუ B ჭეშმარიტია მაშინ C ჭეშმარიტია“ რაც
სწორია მაშინ და მხოლოდ მაშინ როდესაც სწორია „თუ A ჭეშმარიტია, მაშინ, თუ C მცდარია მაშინ B
მცდარია“ რაც სწორია მაშინ და მხოლოდ მაშინ როდესაც სწორია „თუ A ჭეშმარიტია და C მდარია მაშინ
B მცდარია“
ლოგიკა. დავალება IV-ის ამოხსნა
2.1. ყველა, ვინც საღამოობით ძილის წამალს სვამს, ქალია. ამიტომ ზოგი, ვინც
საღამოობით ძილის წამალს სვამს, ქერაა, რადგან […].
S - ვინც საღამოობით ძილის წამალს სვამს
P - ქერა
M - ქალი
გვაქვს:
???
SaM
____
SiP
ვხედავთ, რომ აკლია დიდი წანამძღვარი, ე.ი. ვეძებთ წანამძღვარს, რომელშიც
მონაწილეობს M და P (დიდ წანამძღვარს).
გამივიყენოთ ზემოთ აღწერილი ტესტი. დიაგრამაზე
მოცემული სიტუაცია არის მინიმალური მოცემულობა
იმისთვის, რომ SaM იყოს ჭეშმარიტი და SiP იყოს
მცდარი (ანუ მისი კონტრადიქტორული SeP
ჭეშმარიტი).
ახლა შევნიშნოთ, რომ თუ ჩვენ შევეცდებით MaP-ის
გაჭეშმარიტებას ეს S-ს დააცარიელებს, რაც არ
შეიძლება რადგან შეთანხმებაა, რომ არცერთი ცნება
არ არის ცარიელი.
მაშასადამე ასეთ პირობებში MaP აუცილებლად
მცდარია. ამასთან სხვა ყველა მიმართება M-სა და P-ს შორის შეიძლება იყოს
ჭეშმარიტი, ანუ არ ეწინააღმდეგება SaM-ის ჭეშმარიტობასა და SiP-ის მცდარობას.
ამიტომ ერთადერთი რაც შეიძლება ჩავსვათ გამოტოვებული წანამძღვრის ადგილას
არის MaP. (შეამოწმეთ დიაგრამით, რომ რაც გამოვა მართლაც იქნება მართებული
დასკვნა)
იგივე ვთქვათ მეორენაირადაც: ახალ წანამძღვრებად ავიღოთ SaM და SiP -ის
კონტრადიქტორული SeP; ვნახოთ რა გამომდინარეობს ამ ორიდან როგორც ახლი
წანამძღვრებიდან? დანასკვი უნდა შეიცავდეს M-ს და P-ს რადგან ამ ახალ დასკვნაში S
არის საშუალო ტერმინი.
SaM
SeP
____
???
ზედა დიაგრამიდან ჩანს, რომ რადგან S-ს ვერ ვაცარიელებთ აუცილებლად
ჭეშმარიტი იქნება MoP ხოლო ყველა სხვა დებულება შეიძლება იყოს მცდარი
(შეიძლება არ იყოს ჭეშმარიტი). მაშასადამე SaM და SeP-დან მამომდინარეობს
მხოლოდ MoP
SaM
SeP
____
MoP
როგორც ვთქვით თავდაპირველი გამოტოვებული წანამძღვრის როლში უნდა
ავიღოთ მისი კონტრადიქტორული, MaP.
ლოგიკა. დავალება IV-ის ამოხსნა
2.2. ზოგ ადამიანს არ მოუსმენია კლასიკური მუსიკა. [...]. ამიტომ, არსებობს ადამიანი,
რომელიც არ არის გემოვნებიანი.
S - ადამიანი
P - გემოვნებიანი
M – ვისაც მოუსმენია კლასიკური მუსიკა
გვაქვს:
???
SoM
____
SoP
ვეძებთ წანამძღვარს, რომელშიც მონაწილეობს M და P
(დიდ წანამძღვარს).
გავაჭეშმარიტოთ SoM და გავამცდაროთ SoP.
დიაგრამაზე მოცემული სიტუაცია არის მინიმალური მოცემულობა ამის მისაღწევად.
რა გამომდინარეობს SoM-დან და SaP-დან (SoP-ის კონტრადიქტორულიდან) M-ს და
P-ს შესახებ?
ვხედავთ, რომ SoM-დან და SaP-დან გამომდინარეობს PoM. გამოტოვებული
წანამძღვრის როლში ავიღოთ მისი კონტრადიქტორული PaM.
მართლაც ასეთ პირობებში PaM აუცილებლად მცდარია, ხოლო სხვა ყველა
მიმართება M-სა და P-ს შორის შეიძლება იყოს ჭეშმარიტი, არ ეწინააღმდეგება SoM-ის
ჭეშმარიტობას და SoP-ის მცდარობას.
მასშასადამე მხოლოდ PaM შეიძლება ჩავსვათ გამოტოვებული წანამძღვრის
ადგილზე.
ლოგიკა. დავალება IV-ის ამოხსნა
2.4. არცერთი ტექსტი არ არის კონტექსტის გარეშე. [...]. გამოდის, რომ არცერთი ჭკვიანური
ნააზრევი არ არის კონტექსტის გარეშე.
S - ჭკვიანური ნააზრევი
P - კონტექსტის გარეშე
M - ტექსტი
გვაქვს:
MeP
???
____
SeP