მათემატიკური ლოგიკა

1 მათემატიკური ლოგიკის ელემენტები გამონათქვამთა ლოგიკა ყველა მათემატიკური თუ არამათემატიკური თეორია არის ჭეშმარიტებად მიღებული წინადადებების ერთობლიობა. მაგალითად, ერთი წინადადებიდან “გამოიყვანება" მეორე წინადადება, რომელსაც პირველის “ლოგიკურ შედეგს”... More

1 მათემატიკური ლოგიკის ელემენტები გამონათქვამთა ლოგიკა ყველა მათემატიკური თუ არამათემატიკური თეორია არის ჭეშმარიტებად მიღებული წინადადებების ერთობლიობა. მაგალითად, ერთი წინადადებიდან “გამოიყვანება" მეორე წინადადება, რომელსაც პირველის “ლოგიკურ შედეგს” უწოდებენ. ოპერაციები, რომლებიც მოქმედებს წინადადებებზე სხვა წინადადებების მიღების მიზნით, ემორჩილებიან გარკვეულ კანონებს, რომლებიც ალგებრულ გარდაქმნებს მოგვაგონებენ. ასეთი კანონების ერთობლიობა შეადგენს მათემატიკური ლოგიკის ნაწილს. მათემატიკურ ლოგიკაში განიხილავენ მხოლოდ ისეთ თხრობით წინადადებებს, რომელთა შესახებაც შეიძლება ითქვას, რომ ისინი არის ან ჭეშმარიტი ან მცდარი. ასეთ წინადადებებს გამონათქვამები ეწოდებათ, ხოლო მათ ჭეშმარიტობას და მცდარობას მათი ჭეშმარიტული მნიშვნელობები. მაგალითი. 1. “ორს მივუმატოთ ორი არის ოთხი" არის გამონათქვამი და მისი ჭეშმარიტული მნიშვნელობაა ჭ, რადგან ეს წინადადება გამოხატავს ჭეშმარიტ ფაქტს. 2. ”პარიზი არის საქართველოს დედაქალაქი " არის გამონათქვამი, რომლის ჭეშმარიტული მნიშვნელობაა მ, რადგან ეს წ Less