Coimplicació
De Wikisofia
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} La connectiva «si i només si», o el bicondicional. En lògica d'enunciats és símbol ta...».)
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} La connectiva «si i només si», o el bicondicional. En lògica d'enunciats és símbol ta...».)
La connectiva «si i només si», o el bicondicional. En lògica d'enunciats és símbol també d'equivalència.
S'ha produït un error en crear la miniatura: Fitxer inexistent
«P si i només si Q és veritable quan P i Q són tots dos veritables o tots dos falsos; en els altres casos, és fals».
Exemple:
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.