არის ლოგიკაში "გამონათქვამის" ცნება.
მის სპეციფიკას წარმოადგენს ის, რომ მასზე დანამდვილებით შეგვიძლია ვთქვათ "ჭეშმარიტია" თუ "მცდარი".
A - თი აღინიშნება გამონათქვამი.
_
A - თი მისი უარყოფა.
გამონათქვამის და მისი უარყოფის ურთიერთმიმართების სახეებია:
არის - არ არის
ყველა კი - ზოგიერთი არა
ზოგიერთი კი - არცერთი არა
ლუწი რაოდენობის უარყოფა ჭეშმარიტია.
კენტი რაოდენობის უარყოფა მცდარი.
არსებობს შემდეგი სახის გამონათქვამები.
A; B; A-ს უარყოფა; A და B; A ან B; ან A ან B; თუ A მაშინ B.
"თუ A მაშინ B"-ს შებრუნებულია "თუ B მაშინ A"
ხოლო "თუ A მაშინ B''-ს მოპირდაპირეა თუ "A არა, მაშინ B არა"
ხშირად მოდის ლოგიკის ამოცანებში ამ ტიპის წინადადება და უნდა იცოდე, რომ "თუ A, მაშინ B"-ს ტოლფასია მხოლოდ მისი შებრუნებულის მოპირდაპირე.
ანუ
თუ A, მაშინ B = თუ B არა, მაშინ A არა.
ხოლო ცალკე აღებულ შებრუნებულზე და მოპირდაპირეზე დანამდვილებით თქმა არ შეგვიძლია.
ვიცი, აქ ცოტა უცნაურად ჟღერს, მაგრამ ისე, ფორუმს გარეთ უკეთ აგიხსნიდით
აწი რაღა დროსია, მაგრამ მაინც.
This post has been edited by Manuelo Costa on 1 Jul 2013, 14:11 "Маевский застрелился в поезде, и отчаяние его было так велико, что он умер раньше своего выстрела".
· 
მე, აბიტურიენტი 2013, ცხელი პერიოდი in action
