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