იმპლიკაცია
NPLG Wiki Dictionaries გვერდიდან
(სხვაობა ვერსიებს შორის)
(ახალი გვერდი: '''იმპლიკაცია''' – ლოგიკის ალგებრის ოპერაცია. თუ A და B ნებისმიერ...) |
|||
ხაზი 1: | ხაზი 1: | ||
− | '''იმპლიკაცია''' – ლოგიკის ალგებრის ოპერაცია. თუ A და B ნებისმიერი | + | '''იმპლიკაცია''' (''ლათ''. implicato – „მჭიდროდ დაკავშირებულია“, „გადაბმული“.) – ლოგიკის [[ალგებრა|ალგებრის]] ოპერაცია. თუ A და B ნებისმიერი [[გამონათქვამი]]ა, მაშინ მათი იმპლიკაცია არის ახალი გამონათქვამი A → B, სადაც → იმპლიკაციის ნიშანია, რომლის ჭეშმარიტება [[დამოკიდებულება (მათემატიკური ტერმინი)|დამოკიდებულია]] A და B გამონათქვამების ჭეშმარიტებაზე. განსაზღვრის თანახმად, გამონათქვამი A→B ჭეშმარიტია ყოველთვის, გარდა იმ შემთხვევისა, როცა A ჭეშმარიტია, B – მცდარი. ასე იკითხება: „თუ A, მაშინ B“, ან „A-დან გამომდინარეობს B“. |
− | იმპლიკაციის ფორმირებაში მონაწილე A და B წევრების როლი სხვადასხვაა; A→B იმპლიკაციის პირველ წევრს (A) უწოდებენ „ანტეცედენტს“, ხოლო მეორე (B) წევრს უწოდებენ „კონსეკვენტს“ | + | იმპლიკაციის ფორმირებაში მონაწილე A და B [[წევრი (მათემატიკა)|წევრების]] როლი სხვადასხვაა; A→B იმპლიკაციის პირველ წევრს (A) უწოდებენ „ანტეცედენტს“, ხოლო მეორე (B) წევრს უწოდებენ „კონსეკვენტს“. იმპლიკაციისათვის → [[სიმბოლო]]ს გარდა იყენებენ სიმბოლოებს ⇒ ან ⊃. |
მიმდინარე ცვლილება 12:51, 28 თებერვალი 2024 მდგომარეობით
იმპლიკაცია (ლათ. implicato – „მჭიდროდ დაკავშირებულია“, „გადაბმული“.) – ლოგიკის ალგებრის ოპერაცია. თუ A და B ნებისმიერი გამონათქვამია, მაშინ მათი იმპლიკაცია არის ახალი გამონათქვამი A → B, სადაც → იმპლიკაციის ნიშანია, რომლის ჭეშმარიტება დამოკიდებულია A და B გამონათქვამების ჭეშმარიტებაზე. განსაზღვრის თანახმად, გამონათქვამი A→B ჭეშმარიტია ყოველთვის, გარდა იმ შემთხვევისა, როცა A ჭეშმარიტია, B – მცდარი. ასე იკითხება: „თუ A, მაშინ B“, ან „A-დან გამომდინარეობს B“.
იმპლიკაციის ფორმირებაში მონაწილე A და B წევრების როლი სხვადასხვაა; A→B იმპლიკაციის პირველ წევრს (A) უწოდებენ „ანტეცედენტს“, ხოლო მეორე (B) წევრს უწოდებენ „კონსეკვენტს“. იმპლიკაციისათვის → სიმბოლოს გარდა იყენებენ სიმბოლოებს ⇒ ან ⊃.