Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional y conectivos lógicos - Coggle Diagram
Lógica proposicional y conectivos lógicos
La lógica proposicional estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad.
Conectiva Expresión en el
lenguaje natural Ejemplo Símbolo en
este artículo Símbolos
alternativos
Negación no No está lloviendo.
¬
{\displaystyle \neg \,}
∼
{\displaystyle \sim \,}
Conjunción y Está lloviendo y está nublado.
∧
\land &
Disyunción o Está lloviendo o está soleado.
∨
\lor |
Condicional material si... entonces Si está soleado, entonces es de día.
→
{\displaystyle \to \,}
⊃
{\displaystyle \supset }
Bicondicional si y solo si Está nublado si y solo si hay nubes visibles.
↔
\leftrightarrow
≡
{\displaystyle \equiv \,}
Disyunción opuesta ni... ni Ni está soleado ni está nublado.
↓
{\displaystyle \downarrow \,}
Disyunción exclusiva o bien... o bien O bien está soleado, o bien está nublado.
↮
{\displaystyle \nleftrightarrow }
⊕
,
≢
,
W
{\displaystyle \oplus ,\not \equiv ,W}