Cita lògica bicondicional
De Wikisofia
Si p = ets feliç» i q = «estimes», l'enunciat «ets feliç si i només si mestresses», o «ets feliç sempre que estimis» és veritat quan «ets feliç i mestresses» i quan «ni ets feliç ni mestresses», però és fals si és veritat una d'ambdues coses i no l'altra.