ჭკვიანი გამონათქვამები. განცხადება (ლოგიკა)

უნდა იყოს დეკლარაციული წინადადება და უპირისპირდება იმპერატიულ, კითხვით და ნებისმიერ სხვა წინადადებას, რომლის სიმართლე ან სიცრუე ვერ შეფასდება.

განცხადება და განსჯა

ერთი და იგივე განსჯა შეიძლება გამოითქვას სხვადასხვა ენაზე და სხვადასხვა ნიშნის ფორმით ერთსა და იმავე ენაში. როდესაც წინადადება განიხილება მისი ენობრივი გამოხატვის რომელიმე კონკრეტულ ფორმასთან დაკავშირებით, მას განცხადება ეწოდება. ტერმინი „განსჯა“ გამოიყენება მაშინ, როდესაც ჩვენ განვიხილავთ, თუ რა არის მისი ნიშნის ფორმა.

განცხადებების სახეები

ლოგიკური დებულებები ჩვეულებრივ იყოფა რთულ (ან რთულ) და ელემენტარულად. რთული ლოგიკური განცხადებები არის განცხადებები, რომლებიც შეიცავს ლოგიკურ მუდმივებს. რთული განცხადებები აგებულია სხვა განცხადებების საფუძველზე. რთული განცხადების ლოგიკური მნიშვნელობა განისაზღვრება მის შემადგენლობაში შემავალი განცხადებების ლოგიკური მნიშვნელობით და ლოგიკური მუდმივებით, რომელთა დახმარებით იგი აგებულია.

ელემენტარული ლოგიკური განცხადებები არის განცხადებები, რომლებიც არ არის დაკავშირებული ნაერთებთან. ელემენტარული განცხადების მაგალითი იქნება 5 < 7 {\displaystyle 5<7} . რთული ლოგიკური განცხადების მაგალითი იქნება თუ 5 < 7 {\displaystyle 5<7} , ეს 5 (\displaystyle 5)- ლუწი რიცხვი.

ლოგიკური მუდმივები

ლოგიკური მუდმივი (ლოგიკური მუდმივი, ლოგიკური ოპერაცია) არის ტერმინის სახელი, რომელიც ინარჩუნებს ერთსა და იმავე მნიშვნელობას ყველა განცხადებაში და არ არის დამოკიდებული განცხადების კონკრეტულ შინაარსზე. ლოგიკური მუდმივები გამოიყენება მარტივი განცხადებების რთულ განცხადებებთან დასაკავშირებლად. ლოგიკური მუდმივები იყოფა რაოდენობებად და ლოგიკურ კავშირებად (ბმულებად). სიტყვები: არა; ეს არ შეესაბამება სიმართლეს; და; ან; თუ..., მაშინ; თუ და მხოლოდ თუ; ან რომელიმე; შეუთავსებელი; არა არა; არა..., მაგრამ; მაგრამდა მათი უახლოესი სინონიმებია ლოგიკური კავშირები, სიტყვები ყველასთვის... ასეა; ზოგიერთისთვის... ასეადა მათი უახლოესი სინონიმები რაოდენობებია. ლოგიკური მუდმივები ემსახურება როგორც აზრების გამოხატვას ყოველდღიურ მსჯელობაში და მეცნიერულ მტკიცებულებაში.

• ∀ (\displaystyle \forall)- ლოგიკური მუდმივები ყველა, ყველასთვის... ასეა(ზოგადი რაოდენობრივი მაჩვენებელი);
• ∃ (\displaystyle \არსებობს)- ლოგიკური მუდმივები არის ერთი, რომელიც..., ზოგიერთისთვის... ასეა(არსებობის რაოდენობრივი მაჩვენებელი);
• ∧ (\displaystyle \land), & (\displaystyle \და)- გაერთიანება და(შეერთება);
• ∨ (\displaystyle \vee)- გაერთიანება ანროდესაც იგი ჩნდება შემაერთებელ-გამყოფი მნიშვნელობით (დისუნქცია);
• ∨ ˙ (\displaystyle (\dot (\vee))), ∨ ∨ (\displaystyle \vee \vee)- გაერთიანება ან, როდესაც იგი ჩნდება მკაცრად განცალკევებული ექსკლუზიური მნიშვნელობით (დისიუნგცია);
• → (\displaystyle \მარჯვენა ისარი), ⊃ (\displaystyle \supset)- გაერთიანება თუ... მაშინ(იგულისხმება);
• ¬ (\displaystyle \neg)- სიტყვები არა, არასწორი(უარყოფა).

ლოგიკური კავშირები წინადადებათა ლოგიკის ენის ნაწილია, კვანტიფიკატორები დამატებით დაინერგა პრედიკატულ ლოგიკის ენაში, რომელიც წარმოადგენს წინადადების ლოგიკის ენის გაგრძელებას.

ლოგიკური საგანი და ლოგიკური პრედიკატი

ლოგიკური საგანი არის ის, რაც ნათქვამია წინადადებაში (განცხადებაში), რასაც წინადადებებში შემავალი დადასტურებები ან უარყოფები ეხება. ლოგიკური პრედიკატი - ინფორმაცია, რომელიც შეიცავს წინადადებას (განცხადებას) ლოგიკური საგნის შესახებ.

ლოგიკური საგნების როლს ასრულებენ მარტივი და რთული სახელები, ლოგიკური პრედიკატების როლს პრედიკატორები (ან პრედიკატები). ეს უკანასკნელი მოიცავს თვისებებს და ურთიერთობებს. პრედიქტორები ასრულებენ ობიექტ-ჭეშმარიტების რუკების როლს, აძლევენ გარკვეული კლასის ობიექტებს "ჭეშმარიტი" ან "ცრუ" შეფასებას. ამ შემთხვევაში, თვისებები არის ერთადგილიანი პრედიკატორები, რომლებიც ახასიათებენ ერთ ცალკეულ ობიექტს, ურთიერთობები კი მრავალადგილიანია, რომელიც ახასიათებს წყვილს, სამს და ა.შ. თავად განცხადება, მრავალადგილიანი პრედიკატორის შემთხვევაში, შეიცავს რამდენიმე ლოგიკურ საგანს.

განცხადებების ფორმები

განცხადების ფორმა მოითხოვს დამატებას, იმისდა მიუხედავად, განსჯაში დადასტურება ან უარყოფა ვრცელდება თუ არა კლასის ყველა ობიექტზე, რომელსაც წარმოადგენს მოცემული ზოგადი სახელი. ასეთი მაჩვენებლების ფუნქცია ხორციელდება ექსპრესით ან ნაგულისხმევი გზით

გრამატიკულად სწორი დეკლარაციული წინადადება აღებული მის გამოხატულ მნიშვნელობასთან ერთად. ლოგიკაში გამოიყენება ლოგიკის რამდენიმე ცნება, რომლებიც მნიშვნელოვნად განსხვავდება ერთმანეთისგან. უპირველეს ყოვლისა, ეს არის აღწერითი, ან აღწერითი,... ... ფილოსოფიური ენციკლოპედია

ლოგიკაში, წინადადება, რომელიც შეიძლება იყოს ჭეშმარიტი ან მცდარი. იხილეთ აგრეთვე: განცხადებები წინადადებების გამოთვლა ფინანსური ლექსიკონი Finam. განცხადება განცხადება არის სრული აზრი, რომელიც ფორმალიზებულია მეტყველებაში, რომლის მნიშვნელობა დამოკიდებულია კონკრეტულ ან... ფინანსური ლექსიკონი

წინადადება, განჩინება, განცხადება; შენიშვნა, ტავტოლოგია, გამოთქმა, ლაპარაკი, წინააღმდეგობა, ლოგოსი, მეტყველება, განცხადება, განლაგება, სათქმელი, გამონაყარი, განცხადება, პრეზენტაცია, დისკურსი, ფრაზა, გამონაყარი, მსჯელობა, სუტრა, ... ... სინონიმური ლექსიკონი

განცხადება, განცხადებები, იხ. (წიგნი). 1. მხოლოდ ერთეული ქმედება ჩ. გამოხატოს. თქვენი აზრის გამოხატვა. 2. გამოთქმული განსჯა, შენიშვნა, აზრი. შეაგროვეთ მარქსიზმის კლასიკოსების განცხადებები ენის შესახებ. უშაკოვის განმარტებითი ლექსიკონი. დ.ნ. უშაკოვი... ... უშაკოვის განმარტებითი ლექსიკონი

აზრი გამოხატული დეკლარაციული წინადადებით, რომელიც შეიძლება იყოს ჭეშმარიტი ან მცდარი; ენათმეცნიერებაში, მეტყველების კომუნიკაციის ერთეული, ფორმალიზებული მოცემული ენის კანონების მიხედვით... დიდი ენციკლოპედიური ლექსიკონი

განცხადება, I, შდრ. 1. იხ. express, sya. 2. გამოცხადებული განაჩენი. შიგთავსი. 3. გრამატიკაში: ნებისმიერი ინტონაციურად შექმნილი სინტაქსური ერთეული, რომელიც შეიცავს შეტყობინებას, ფრაზას. ოჟეგოვის განმარტებითი ლექსიკონი. ს.ი. ოჟეგოვი, ნ.იუ. შვედოვა. 1949…… ოჟეგოვის განმარტებითი ლექსიკონი

განცხადება- განცხადება. მეტყველების კომუნიკაციის ერთეული, რომელსაც აქვს სემანტიკური მთლიანობა, ჩამოყალიბებულია გარკვეული ფაქტობრივი დაყოფით, როგორც სამეტყველო აქტის ნაწილი. V. შეიძლება ემთხვეოდეს წინადადებას, მაგრამ ასევე იყოს შეტყობინება, რომელიც არ ჯდება მარტივი... ... მეთოდოლოგიური ტერმინებისა და ცნებების ახალი ლექსიკონი (ენის სწავლების თეორია და პრაქტიკა)

განცხადება- ერთეულების შესაძლო მდგომარეობა, რომლის შესახებაც შეიძლება დაადასტუროს ან უარყოს, რომ ასეთი მდგომარეობა ხდება. [GOST 34.320 96] EN წინადადებების მონაცემთა ბაზის თემები ... ტექნიკური მთარგმნელის გზამკვლევი

განცხადება- გამოთქმა არის სამეტყველო კომუნიკაციის ერთეული. გამოთქმის, როგორც ლინგვისტური კონცეფციის იზოლირების აუცილებლობა დაკავშირებულია მეტყველებაში ენობრივი ფორმების ფუნქციონირების შესწავლის გაღრმავებასთან. გამოთქმა განისაზღვრება წინადადების ცნებასთან დაკავშირებით.…… ლინგვისტური ენციკლოპედიური ლექსიკონი

წინადადება: განცხადება (ლოგიკა) არის წინადადება, რომელიც შეიძლება იყოს ჭეშმარიტი ან მცდარი. გამოთქმა (ლინგვისტიკა) არის წინადადება კონკრეტულ სამეტყველო სიტუაციაში. აგრეთვე განსჯა... ვიკიპედია

განცხადება- I. დებულება განცხადება, გადმოსხმა, გამოთქმა, გადმოსხმა, გამოთქმა ილაპარაკე / ილაპარაკე, დაასხით / დაასხით, გამოხატეთ / გამოხატეთ, დაასხით / დაასხით, წიგნი. გამოხატეთ/გამოთქვით SPEAK OUT, დაასხით SPEAK OUT/SPEAK OUT,… … რუსული მეტყველების სინონიმების ლექსიკონი-თეზაურუსი

წიგნები

• განცხადება და მისი კორელაცია რეალობასთან. ნაცვალსახელების სემანტიკის რეფერენციალური ასპექტები, Paducheva E.V.. ეს მონოგრაფია ეძღვნება რეალობასთან განცხადებების კორელაციის პრობლემებს - კონკრეტულ ობიექტებთან, მოვლენებთან და სიტუაციებთან რეალურ სამყაროში. წიგნში განხილულია თეორია...

გამოთქმა არის გრამატიკულად სწორი დეკლარაციული წინადადება, რომელიც აღებულია მის გამოხატულ მნიშვნელობასთან ერთად. ლოგიკაში გამოიყენება ლოგიკის რამდენიმე ცნება, რომლებიც მნიშვნელოვნად განსხვავდება ერთმანეთისგან. უპირველეს ყოვლისა, ეს არის აღწერითი, ანუ აღწერითი ცნება, რომლის მთავარი ამოცანაა რეალობის აღწერა. ასეთი V არის ჭეშმარიტი ან მცდარი; ზოგჯერ ვარაუდობენ, რომ მას შეუძლია მიიღოს ჭეშმარიტების გარკვეული „განუსაზღვრელი“ ღირებულებები, შუალედი სრულ სიმართლესა და სრულ სიცრუეს შორის. ლოგიკა დიდი ხანია მიზიდული იყო ტერმინის "V"-ს გამოყენებისკენ. მხოლოდ აღწერით წინადადებებთან მიმართებაში.ამგვარად, კლასიკური ლოგიკა განიხილავს წინადადებებს, როგორც ნარატიულ წინადადებას, განიხილება მის შინაარსთან ერთად ჭეშმარიტების მნიშვნელობის ასპექტში. თანამედროვე ლოგიკის კურსი ჩვეულებრივ იწყება წინადადების განმარტებით, როგორც წინადადება, რომელიც არის ჭეშმარიტი ან მცდარი. ვინაიდან შეფასებებს, ნორმებს, დროებით განცხადებებს, რომლებიც დროთა განმავლობაში ცვლის მათ სიმართლის მნიშვნელობას, უაზრო განცხადებებს და ა. მოქმედებს არა მხოლოდ აღწერითი V.-ის შემდეგი მნიშვნელოვანი ტიპი არის შეფასებითი V., რომელიც ადგენს ზოგიერთი ობიექტის აბსოლუტურ ან შედარებით მნიშვნელობას. შეფასების ღირებულებები მოიცავს თავად შეფასებებს, მათ შორის ცნებებს „კარგი“, „ცუდი“, „უკეთესი“, „უარესი“ და ა.შ., ასევე ანალიტიკურ ღირებულებებს, განცხადებებს მიზნების, სტანდარტების, კონვენციების, იდეალების შესახებ და ა. შეფასებითი V-ს განსაკუთრებული შემთხვევა არის ნორმატიული V. შუალედურ ჯგუფს აღწერით და შეფასების V.-ს შორის ქმნის „შერეული“, აღწერით-შეფასებითი V. ისინი არა მხოლოდ აღწერენ და აღწერენ არსებულ ენობრივ პრაქტიკას, არამედ აფასებენ მას და განსაზღვრავენ კონკრეტულ ენობრივ პრაქტიკას. მოქმედება. ორმაგი, აღწერით-შეფასებითი v. ზოგიერთ სიტუაციაში ასრულებს აღწერის როლს და, როგორც ასეთი, შეიძლება დახასიათდეს როგორც ჭეშმარიტი ან მცდარი, ზოგიერთში კი ისინი ასრულებენ ჭეშმარიტების მნიშვნელობას მოკლებული შეფასების ფუნქციას. სხვა არადამოუკიდებელ ჯგუფად შეიძლება განისაზღვროს განუსაზღვრელი ვ., როგორიცაა: „ეს სახლი ლურჯია“, „აქ იზრდება ხე“, „ხვალ მზის დაბნელება იქნება“ და ა.შ. თავად ასეთი ვ. არც მართალია და არც. false, ისინი იძენენ ჭეშმარიტების მნიშვნელობას მხოლოდ ლოკალიზებულ სიტუაციაში, განსაკუთრებით სივრცე-დროის კოორდინატების მითითებისას. ბევრი ვ., ჩვეულებრივ კლასიფიცირებული, როგორც აღწერითი, სინამდვილეში ბუნდოვანია. ვთქვათ, ბ. „ლონდონი რომზე დიდია“ მართალია, მაგრამ ასეა ახლაც: იყო დრო, როცა რომი ლონდონზე დიდი იყო და შესაძლოა ეს ვითარება მომავალშიც განმეორდეს. დროებითი ცვლადები, რომლებიც დროთა განმავლობაში ცვლიან ჭეშმარიტების მნიშვნელობას, განიხილება დროის ლოგიკით. იყო მცდელობები სივრცის სპეციალური ლოგიკის აგების, რომელიც აღწერს სივრცით განუსაზღვრელი ცნებების ლოგიკურ კავშირებს. მნიშვნელოვანია, რომ აღწერითი და შეფასებითი ცნებები იყოს განუსაზღვრელი. თანამედროვე ლოგიკის მიერ შესწავლილი ცნებების კიდევ ერთი ჯგუფი შედგება ცნებებისგან, რომლებიც ჩვეულებრივ კლასიფიცირდება როგორც უაზრო. მაგალითად .: "პირველი რიცხვები მწვანეა." ეს არის კარგად ჩამოყალიბებული წინადადება. ასევე, ცხადია, წინადადებები "მართალია, რომ მარტივი რიცხვები მწვანეა" და "პირველი რიცხვები უნდა იყოს მწვანე" ("პირველი რიცხვები უნდა იყოს მწვანე"). ჯერ წინადადება, როგორც ჩანს, აღწერილობაა, მაგრამ არ არის ჭეშმარიტი და მცდარი, რადგან ფერებს არ აქვთ კავშირი რიცხვებთან. მეორე წინადადება, როგორც ჩანს, გამოხატავს შეფასებას, მაგრამ ამის თქმა შეუძლებელია ანალოგიით. ჩვეულებრივი შეფასებითი განცხადებებით, რომ მისი შეფასება ეფექტურია ან ანალოგიური ვითარებაა ვ. „საფრანგეთის ამჟამინდელი მეფე მელოტია“, „პეგასუსს აქვს ფრთები“ და ა.შ., საუბარი არარსებული საგნების თვისებებზე. უაზრო სიტყვები ზოგჯერ ასევე შეიცავს ბუნდოვანი მნიშვნელობის სიტყვებს, როგორიცაა „არსებობა ნიშნავს აღქმას“. არ შეიძლება ითქვას, რომ უაზრო ვ. არ არის ვ., თუმცა ისინი არ განეკუთვნებიან არც აღწერით და არც შეფასების ვ.-ს და დგანან არა მხოლოდ „სიმართლისა და სიცრუის მიღმა“, არამედ „მიზანშეწონილსა და შეუფერებელს მიღმა“. უაზრო ვ. მაინც შეიძლება იყოს ჩვენი მსჯელობის კომპონენტები. ასეთი ვ-ის შესწავლას ახორციელებს ეგრეთ წოდებული „უაზრო ლოგიკა“ (იხ.: უაზრო). იგი ადგენს, კერძოდ, შემდეგ კანონებს: უაზრო ვ-ის უარყოფა არის უაზრო ვ. უაზრო ვ-ის შედეგებიც უაზროა და ა.შ. ვ.-ს უაზრო ვ-ის მიკუთვნების პრობლემა რთულდება, თუმცა ის ფაქტი, რომ თავად უაზრო ჰეტეროგენულია. იგი მერყეობს შედარებითი უაზრობიდან, რომელიც დაკავშირებულია სემანტიკური კატეგორიების შერევასთან, სინტაქსის წესების დარღვევის გამო სრულ უაზრობამდე. თუ გამოთქმა "მე ვარ ყვითელი ნომერი" კვლავ შეიძლება კლასიფიცირდეს როგორც V., მაშინ ეს ძნელად ლეგიტიმურია ისეთი გამონათქვამების შემთხვევაში, როგორიცაა: "მე დავდივარ", "თუ წვიმს, მაშინ თავი", "ხლესტაკოვი - ადამიანი არის ადამიანი“ და ა.შ. ლოგიკის მიერ შესწავლილი ლოგიკის სხვადასხვა ტიპების ჩამონათვალი აჩვენებს, რომ ლოგიკის ცნების სფერო არაერთგვაროვანია და არ აქვს მკაფიო საზღვრები. აღწერილობითი V. მხოლოდ ერთ-ერთია V.-ის მრავალი სახეობიდან, რომელთა დაკლება შეუძლებელია.

განმარტებები, სიტყვების მნიშვნელობა სხვა ლექსიკონებში:

ზოგადი ფსიქოლოგია. ლექსიკონი. რედ. A.V. პეტროვსკი

გამოთქმა არის ვერბალური კომუნიკაციის ერთეული. ლოგიკაში ვ. კორელაციაშია განსჯასთან და განიხილება მხოლოდ ჭეშმარიტების/სიყალბის პოზიციიდან. ლინგვისტიკაში ვ.-ის განმარტება დამოკიდებულია არჩეულ თეორიულ მიდგომასა და მეტყველების ანალიზის მეთოდზე და ხშირად სინონიმია ფრაზის ცნებისა. Ზოგიერთ...

ცნობილია, რომ ლოგიკის ცოდნა ზრდის პიროვნების ზოგად ინტელექტუალურ კულტურას, ხელს უწყობს ლოგიკურად სწორი აზროვნების ჩამოყალიბებას, რომლის ძირითადი ნიშნებია მკაფიო დარწმუნებულობა, თანმიმდევრულობა, თანმიმდევრულობა და მტკიცებულება. ლოგიკური მეცნიერების დაუფლება შესაძლებელს ხდის შეგნებულად ავაშენოთ სწორი მოსაზრებები, განასხვავოთ ისინი არასწორისგან, თავიდან აიცილოთ ლოგიკური შეცდომები, ოსტატურად და ეფექტურად დაასაბუთოთ აზრების სიმართლე, დავიცვათ საკუთარი შეხედულებები და დამაჯერებლად უარყოთ მცდარი აზრები და ოპონენტების არასწორი მოსაზრებები და ხელი შეუწყოთ სპონტანურად ჩამოყალიბებული აზროვნების ლოგიკის გაუმჯობესება. ლოგიკის წყალობით ადამიანი ეცნობა ლოგიკური კვლევის უახლეს შედეგებს.

გამოთქმის ცნება

ლოგიკის ერთ-ერთი ძირითადი ცნებაა ” განცხადება" მოდით დავადგინოთ ამ კონცეფციის მნიშვნელობა.

ნებისმიერი ადამიანის საქმიანობა გარკვეულწილად დაკავშირებულია სხვადასხვა განცხადებებთან. განაჩენი, შენიშვნა, შენიშვნა და ა.შ. არის განცხადებები. ლოგიკურ ალგებრაში წინადადება არის ცვლადი, რომელსაც შეუძლია მიიღოს ორი მნიშვნელობიდან ერთ-ერთი და რომელზედაც შესაძლებელია გარკვეული მოქმედებების შესრულება. სხვა სიტყვებით რომ ვთქვათ, განცხადება არის წინადადება, რომელიც შეიძლება შეფასდეს როგორც ჭეშმარიტი ან მცდარი.

ანალოგიურად, ცვლადი ჩვეულებრივ წინადადებაში ალგებრაში აღინიშნება ზოგიერთი ანბანის ასოებით, მაგალითად, ლათინური: A, B, X და ა.შ.

განცხადებების ტიპები მარტივი განცხადება

განცხადების სტრუქტურა შეიძლება იყოს მარტივი ან შედგენილი.

მათი მნიშვნელობით, განცხადებები შეიცავს ერთ შეტყობინებას ან განცხადებას არსებული სამყაროს შესახებ. ასეთ განცხადებას ე.წ მარტივი.მაგალითად, "მიოკარდიუმის ინფარქტის დიაგნოზი"; „პაციენტს აქვს გულის რითმის დარღვევა“.

შედგენილი განცხადებები (ლოგიკური ფუნქციები)

AND, OR და NOT კავშირების გამოყენებით მარტივი დებულებებიდან წარმოიქმნება რთული განცხადებები, რომლებიც ე.წ ლოგიკური ფუნქციები.მარტივი დებულებები, რომლიდანაც რთული დებულება იქმნება, ეწოდება ლოგიკური არგუმენტები.წინადადება „პაციენტი გრძნობს ძლიერ ტკივილს ყბის მიდამოში, პირი თავისით არ იხურება, უჭირს ყლაპვა და ლაპარაკი“ არის შედგენილი განცხადება (ლოგიკური ფუნქცია „და“).

პრობლემური, სანდო, პირობითი განცხადება

განცხადების მნიშვნელობა შეიძლება იყოს პრობლემური, სანდო ან პირობითი

პრობლემურიარის განცხადება, რომელშიც რაღაც დასტურდება ან უარყოფილია გარკვეული ვარაუდით. მაგალითად, „თავის ტკივილის მიზეზი ალბათ მაღალი წნევაა“.

სანდოარის განცხადება, რომელიც შეიცავს ცოდნას, დასაბუთებულ და პრაქტიკით დამოწმებულს. მაგალითად, „ადამიანი სუნთქავს ჰაერს“.

პირობითი- ეს არის განცხადება, რომელიც აჩვენებს კონკრეტული ფენომენის დამოკიდებულებას გარკვეულ გარემოებებზე და რომელშიც საფუძველი და შედეგი დაკავშირებულია ლოგიკური კავშირის გამოყენებით "თუ ..., ეს ..." მაგალითად, "თუ დიაგნოზი არის მიოკარდიუმის ინფარქტი. შემდეგ არის გულის რითმის დარღვევა" ამრიგად, პირობით განცხადებაში აუცილებელია განასხვავოთ მიზეზი და შედეგი.

განცხადების მრავალი მნიშვნელობა

ნებისმიერი განცხადება შეიძლება იყოს ან არ იყოს სიმართლე. პირველ შემთხვევაში ე.წ მართალიამეორეში - ყალბი.ჭეშმარიტი განცხადება შეიძლება აღინიშნოს სიმბოლოთი 1, ხოლო მცდარი + სიმბოლო 0, ან პირიქით. ეს აღნიშვნა პირობითია. თქვენ ასევე შეგიძლიათ გამოიყენოთ აღნიშვნის სხვა სიმბოლოები: ჭეშმარიტი დებულება შეიძლება დანიშნოს სიმბოლოთი I, ხოლო მცდარი განცხადება L. ამრიგად, განცხადებების მრავალფეროვნების მიუხედავად, ლოგიკის ალგებრაში ყველა მათგანს შეუძლია მხოლოდ ორი მნიშვნელობა შეიძინოს: 1. ან 0.

არის განცხადებები, რომლებიც ყოველთვის მართალია. მაგალითად, "ადამიანი სუნთქავს ჰაერს", "პნევმონია არის ფილტვების ანთება". ზემოაღნიშნული განცხადებების აღნიშვნისას, შესაბამისად, X და Y შეგვიძლია დავწეროთ

არის მცდარი განცხადებები. მაგალითად, "ანემია არის გულის უკმარისობა", "ნიკოტინი საჭიროა ცოცხალი ორგანიზმის განვითარებისთვის". მათი აღნიშვნისას შესაბამისად S და P-ით შეგვიძლია დავწეროთ

განცხადებების უმეტესობა შეიძლება იყოს ჭეშმარიტი ან მცდარი. განცხადება „ადამიანის კანი ღია ვარდისფერია“ მართალია მხოლოდ ჯანსაღი ადამიანისთვის, სხვა შემთხვევაში ეს არის იმპლიკამენტი;  

განცხადება- განაჩენის გამომხატველი წინადადება. თუ წინადადება, რომელიც ადგენს გარკვეული განცხადების შინაარსს (მნიშვნელობას) არის ჭეშმარიტი, მაშინ ეს დებულება ითვლება ჭეშმარიტად. ანალოგიურად, განცხადებას, რომელიც გამოხატავს ცრუ განაჩენს, ეწოდება ყალბი. სიმართლეს და სიცრუეს განცხადებების ლოგიკურ, ანუ სიმართლეს, მნიშვნელობებს უწოდებენ.

განცხადება უნდა იყოს დეკლარაციული წინადადება. განცხადებებს, როგორც წესი, უპირისპირდება იმპერატიული, კითხვითი და ნებისმიერი სხვა წინადადება, რომლის სიმართლის ან სიცრუის შეფასება შეუძლებელია.

ენციკლოპედიური YouTube

• 1 / 5

  იგივე განსჯა შეიძლება გამოითქვას სხვადასხვა ენებზედა ნიშანთა სხვადასხვა ფორმებში ერთსა და იმავე ენაში. როდესაც წინადადება განიხილება მისი ენობრივი გამოხატვის რომელიმე კონკრეტულ ფორმასთან დაკავშირებით, მას განცხადება ეწოდება. ტერმინი „განსჯა“ გამოიყენება მაშინ, როდესაც ჩვენ განვიხილავთ, თუ რა არის მისი ნიშნის ფორმა.

  განცხადებების სახეები

  ლოგიკური დებულებები ჩვეულებრივ იყოფა რთულ (ან რთულ) და ელემენტარულად. რთული ლოგიკური განცხადებები არის განცხადებები, რომლებიც შეიცავს ლოგიკურ მუდმივებს. რთული განცხადებები აგებულია სხვა განცხადებების საფუძველზე. რთული განცხადების ლოგიკური მნიშვნელობა განისაზღვრება მის შემადგენლობაში შემავალი განცხადებების ლოგიკური მნიშვნელობით და ლოგიკური მუდმივებით, რომელთა დახმარებით იგი აგებულია.

  ელემენტარული ლოგიკური განცხადებები არის განცხადებები, რომლებიც არ არის დაკავშირებული ნაერთებთან. ელემენტარული განცხადების მაგალითი იქნება 5 < 7 . რთული ლოგიკური განცხადების მაგალითი იქნება თუ 5< 7, то 5 - чётное число .

  ლოგიკური მუდმივები

  ლოგიკური მუდმივი (ლოგიკური მუდმივი, ლოგიკური ოპერაცია) არის ტერმინის სახელი, რომელიც ინარჩუნებს ერთსა და იმავე მნიშვნელობას ყველა განცხადებაში და არ არის დამოკიდებული განცხადების კონკრეტულ შინაარსზე. ლოგიკური მუდმივები გამოიყენება მარტივი განცხადებების რთულ განცხადებებთან დასაკავშირებლად. ლოგიკური მუდმივები იყოფა რაოდენობებად და ლოგიკურ კავშირებად (ბმულებად). სიტყვები: არა; ეს არ შეესაბამება სიმართლეს; და; ან; თუ..., მაშინ; თუ და მხოლოდ თუ; ან რომელიმე; შეუთავსებელი; არა არა; არა..., მაგრამ; მაგრამდა მათი უახლოესი სინონიმებია ლოგიკური კავშირები, სიტყვები ყველასთვის... ასეა; ზოგიერთისთვის... ხდება ასედა მათი უახლოესი სინონიმები რაოდენობებია. ლოგიკური მუდმივები ემსახურება როგორც აზრების გამოხატვას ყოველდღიურ მსჯელობაში და მეცნიერულ მტკიცებულებაში.

  • ∀ (\displaystyle \forall)- ლოგიკური მუდმივები ყველა, ყველასთვის... ასეა(ზოგადი რაოდენობრივი მაჩვენებელი);
  • ∃ (\displaystyle \არსებობს)- ლოგიკური მუდმივები არის ერთი, რომელიც..., ზოგიერთისთვის... ხდება ასე(არსებობის რაოდენობრივი მაჩვენებელი);
  • ∧ (\displaystyle \land), & (\displaystyle \და)- გაერთიანება და(შეერთება);
  • ∨ (\displaystyle \vee)- გაერთიანება ანროდესაც იგი ჩნდება შემაერთებელ-გამყოფი მნიშვნელობით (დისუნქცია);
  • ∨ ˙ (\displaystyle (\dot (\vee))), ∨ ∨ (\displaystyle \vee \vee)- გაერთიანება ან, როდესაც იგი ჩნდება მკაცრად განცალკევებული ექსკლუზიური მნიშვნელობით (დისიუნგცია);
  • → (\displaystyle \მარჯვენა ისარი), ⊃ (\displaystyle \supset)- გაერთიანება თუ... მაშინ(იგულისხმება);
  • ¬ (\displaystyle \neg)- სიტყვები არა, არასწორი(უარყოფა).

  ლოგიკური კავშირები წინადადებათა ლოგიკის ენის ნაწილია, პრედიკატების ლოგიკის ენაში დამატებით იქნა შემოტანილი რაოდენობები, რაც წარმოადგენს წინადადების ლოგიკის ენის გაგრძელებას.

  ლოგიკური საგანი და ლოგიკური პრედიკატი

  ლოგიკური საგანი არის ის, რაც ნათქვამია წინადადებაში (განცხადებაში), რასაც წინადადებებში შემავალი დადასტურებები ან უარყოფები ეხება. ლოგიკური პრედიკატი - ინფორმაცია, რომელიც შეიცავს წინადადებას (განცხადებას) ლოგიკური საგნის შესახებ.

  ლოგიკური საგნების როლს ასრულებენ მარტივი და რთული სახელები, ლოგიკური პრედიკატების როლს პრედიკატორები (ან პრედიკატები). ეს უკანასკნელი მოიცავს თვისებებსა და ურთიერთობებს. პრედიქტორები ასრულებენ ობიექტ-ჭეშმარიტების რუკების როლს, აძლევენ გარკვეული კლასის ობიექტებს "ჭეშმარიტი" ან "ცრუ" შეფასებას. ამ შემთხვევაში, თვისებები არის ერთადგილიანი პრედიკატორები, რომლებიც ახასიათებენ ერთ ცალკეულ ობიექტს, ხოლო ურთიერთობები არის მრავალადგილიანი, ახასიათებს წყვილს, სამს და ა.შ. ნივთები. თავად განცხადება, მრავალადგილიანი პრედიკატორის შემთხვევაში, შეიცავს რამდენიმე ლოგიკურ საგანს.

  განცხადებების ფორმები

  გამომხატველი ფორმა (განცხადების ფორმა, პრედიკატი) არის არასრული ლოგიკური დებულება, რომელშიც ერთ-ერთი ობიექტი ჩანაცვლებულია ობიექტური ცვლადით. ასეთი ცვლადის ნაცვლად რაიმე მნიშვნელობის ჩანაცვლებისას გამომხატველი ფორმა იქცევა განცხადებად. საგნის ცვლადები ბუნებრივ ენაში არის ზოგადი სახელები, რომლებიც წარმოადგენს საგნების კლასებს და ფორმალიზებულ ენებში ჩანაცვლებულია სპეციალური სიმბოლოებით. ფორმა მსგავსია განცხადების, მაგრამ ის არ არის არც ჭეშმარიტი და არც მცდარი (განუსაზღვროდ ჭეშმარიტი), რადგან არ არის ცნობილი, რას გულისხმობს განცხადება ან უარყოფა.

  განცხადების ფორმა მოითხოვს დამატებას, იმისდა მიუხედავად, განსჯაში დადასტურება ან უარყოფა ვრცელდება თუ არა კლასის ყველა ობიექტზე, რომელსაც წარმოადგენს მოცემული ზოგადი სახელი. ასეთი მაჩვენებლების ფუნქციას ასრულებენ აშკარა ან ნაგულისხმევი რაოდენობები. შეუძლებელია ისეთი გამომხატველი ფორმის შეფასება, როგორც ჭეშმარიტი ან მცდარი ადამიანი სამართლიანია. ზემოაღნიშნული ფრაზა მსგავსია გამოთქმისა y - სამართლიანი. ამ ფორმიდან შეგიძლიათ მიიღოთ განცხადება ზოგადი სახელის სინგულარულით შეცვლით: ივანოვი სამართლიანია, ან რაოდენობების შემოღებით: ზოგიერთი ადამიანი სამართლიანია. რაოდენობების გამოყენებით განცხადებები გამოხატავს მრავალ – ზოგად და კონკრეტულ – განსჯას.

  იხილეთ ასევე

  შენიშვნები

  ლიტერატურა

  • ბროდსკი I. N.სიმბოლური ლოგიკის ელემენტარული შესავალი. - ლენინგრადის უნივერსიტეტის გამომცემლობა, 1972. - 63გვ.
  • როზენტალ დ.ე., ტელენკოვა მ.ა.ლინგვისტური ტერმინების ლექსიკონი-საცნობარო წიგნი. - მე-2 გამოცემა. - მ.: განათლება, 1976 წ.
  • დიდი საბჭოთა ენციკლოპედია: [30 ტომად] / წ. რედ. A.M. პროხოროვი. - მე-3 გამოცემა. - მ.: საბჭოთა ენციკლოპედია, 1969-1978 წწ.
  • კონდაკოვი ნ.ი.ლოგიკური ლექსიკონი. - მე-2 გამოცემა. - მ.: ნაუკა, 1975. - 721გვ.
  • ჩუპახინი I.Ya., Brodsky I.N.ფორმალური ლოგიკა. - ლენინგრადი: ლენინგრადის უნივერსიტეტის გამომცემლობა, 1977. - 357გვ.
  • Voishvillo E. K., Degtyarev M. G.ლოგიკა. - M.: VLADOS-PRESS, 2001. - 528გვ. - ISBN 5-305-00001-7.
  • კარპენკო, ა.ს.თანამედროვე კვლევა ფილოსოფიურ ლოგიკაში // ლოგიკური კვლევა. - მ.: ნაუკა, 2003. - გამოცემა. 10 . - გვ.61-93. - ISBN 5-02-006257-X.
  • ახალი ფილოსოფიური ენციკლოპედია. - M., 2010. - T. 2.