tõend 3(n)

keeletarind, mis spetsifitseerib teatud nõutava oleku või teatud tingimuse, mis peab programmi teatud punktis olema selle täitmisel rahuldatud

Hüponüümid:
silmusetõend 1(n)