Eliminação bicondicional são duas regras de inferência validas da lógica proposicional. Ela permite inferir um condicional de um bicondicional. Se é verdadeiro, logo é verdadeiro, e também será. Por exemplo, se é verdade que eu estou respirando se e somente se estou vivo, então é verdade que se estou respirando, estou vivo; Igualmente, é verdade que se estou vivo, estou respirando. As regras podem ser estabelecidas formalmente como mostrado a seguir: