denklik

eşdeğerlik olarak da bilinir,
mantıkta ve matematikte, birbirine “eğer ve
ancak… ise” eklemiyle bağlı iki önermeden,
yeni bir önermenin oluşturulması, p ve
q önermelerinden oluşturulan denklik, “p,
g’nun gerek ve yeter koşuludur” biçiminde
de tanımlanır.