ეკვივალენტური გამონათქვამები

NPLG Wiki Dictionaries გვერდიდან
გადასვლა: ნავიგაცია, ძიება

ეკვივალენტური გამონათქვამები – ორი A და B გამონათქვამი, რომელთაგან თითოეული გამომდინარეობს მეორიდან. ეკვივალენტური გამონათქვამებიდან ან ორივე მცდარია, ან ორივე ჭეშმარიტი. ეკვივალენტურ გამონათქვამებს უწოდებენ აგრეთვე ტოლძალოვან ან ტოლფას გამონათქვამებს. თუ A და B გამონათქვამები ეკვივალენტურია, მაშინ მას ასე ჩაწერენ: A ↔ B,ან A~B.


წყარო

მათემატიკის ენციკლოპედიური ლექსიკონი

პირადი ხელსაწყოები
სახელთა სივრცე

ვარიანტები
მოქმედებები
ნავიგაცია
ხელსაწყოები