Discusión:Disyunción opuesta

A este conector lógico, los libros de Lógica escritos en castellano lo conocen como Negación conjunta que se define como

$p\downarrow q\leftrightarrow \lnot p\land \lnot q$.

Copi lo llama «operador daga». Una farsa, arbitrariamente, montada que debe cambiar su nombre apócrifo ipso facto. --169.57.123.212 (discusión) 02:53 30 dic 2015 (UTC)

¿La función se debería llamas Disyunción negada, en lugar de Disyunción opuesta?

Ruta.62 (discusión) 16:04 27 nov 2023 (UTC)