Krahasoni dhe krahasoni një pohim dykushtëzuar me një pohim të kushtëzuar.
Një pohim i kushtëzuar është një pohim që mund të shprehet si "nëse P atëherë Q", ku P është një hipotezë dhe Q është një përfundim. Një deklaratë me dykushte është një pohim që mund të shprehet si "P nëse dhe vetëm nëse Q", ku P dhe Q janë të dyja hipoteza ose të dyja përfundimet. Dallimi është se në një deklaratë të kushtëzuar, hipoteza mund të jetë e vërtetë, por përfundimi mund të jetë i rremë, ndërsa në një deklaratë të dykushtëzuar, hipotezat dhe përfundimet duhet të jenë të dyja të vërteta që deklarata të jetë e vërtetë.