Ushbu taqdimot mantiqiy ekvivalentliklar, ekvivalent formulalar tushunchasi va xossalari hamda ekvivalent formulalar haqidagi teoremalar haqida ma'lumot beradi. Teoremalarni isbotlashda muhim rol o'ynaydi