Se denomina bicondicional a la proposición formada por dos proposiciones simples conectadas por la expresión “si y solo si ”
Simbólicamente si p y q son proposiciones simples, la doble implicación pq constituye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional esta formado por las implicaciones pq y qp, las cuales deben tener el mismo valor de verdad para formar una equivalencia entre p y q: en consecuencia, se dice que la proposición pes equivalente a la proposición q y se acostumbra a escribir pq
Las proposición bicondicional tiene varias formas de traducción mas no de significación , estas son :p si y solo si q.q si y solo si p.si p entonces q y recíprocamente.Si q entonces q y recíprocamente. p es una condición necesaria y suficiente para q.q es una condición necesaria y suficiente para p.
Espero que eso te ayude...
