Resultats de la cerca
Es mostren 2 resultats
bicondicional
Lògica
Dit de la proposició en què s’estableix l’equivalència entre dues proposicions en la forma “p si, i solament si, q” o “p és una condició necessària i suficient per a q”.
Aquesta proposició és certa si p i q són totes dues certes o totes dues falses És equivalent a “ p implica q i q implica p ”En lògica simbòlica, és representada pel signe ≡
connectiva
Lògica
En lògica formal, partícules que relacionen unes proposicions amb unes altres i fan possible el càlcul proposicional.
D’entre les considerades principals, n'hi ha cinc de binàries , que relacionen dues proposicions p, q Cadascuna d’elles requereix una combinació específica dels valors de veritat de p i q perquè la proposició resultant del càlcul sigui veritable Comprenen la conjunció p∧q , la disjunció p∨q , el condicional p→q , el bidireccional p↔Q i la disjunció exclusiva p↮q> r> Cadascuna d’elles requereix una combinació específica dels valors de ceritat de p i q perquè la proposició resultant del càlcul sigui veritable Així, la conjunció serà veritable si i només si p i q ho són o presenten el…