Símbolos lóxicos

En Lóxica empréganse un conxunto de símbolos para representar expresións lóxicas. Moitos destes símbolos aparecen tamén en expresións matemáticas.

∃
Símbolos lóxicos
Signos ortográficos
punto ( . ) coma ( , ) punto e coma ( ; ) dous puntos ( : ) puntos suspensivos ( … ) signo de interrogación ( ? ) signo de exclamación ( ! ) comiñas ( « » ) ( ‘ ’ ) ( “ ” ) parénteses ( ( ) ) corchetes ( [ ] ) raia ( ― ) guión ( ‐ ) barra diagonal ( / ) apóstrofo ( ' ) ( ’ ) acento ( ◌́ )   acento agudo ( ◌́ )   acento circunflexo ( ◌̂ )   acento grave ( ◌` ) diérese ( ◌̈ ) til ( ~ ) espazo (   )
Outros signos auxiliares
antilambda ( < > ) antígrafo ( ¶ ) arroba ( @ ) asterisco ( * ) asterismo ( ⁂ ) barra inversa ( \ ) barra vertical ( | ) ( ¦ ) cancelo ( # ) chaves ( { } ) cruz ( † ) ( ‡ ) e comercial ( & ) fin de artigo ( ∎ ) frecha ( → ) grao ( ° ) guión baixo ( _ ) ídem ( 〃 ) indicador ordinal ( º ) ( ª ) man ( ☞ ) moeda ( ¤ ) parágrafo ( § ) porcentaxe ( % ) prima ( ′ ) ( ″ ) ( ‴ ) punto de lista ( • ) punto medio ( · ) símbolos lóxicos ( ⇒ ) ( ¬) ( ∃ ) ( ⊤ ) ( ∴ ) símbolos matemáticos ( + ) ( ‒) ( × ) ( ÷ ) ( = ) ( ± ) símbolos monetarios ( ¤ ) ( $ ) ( ¢ ) ( £ ) ( ₤ ) ( ¥ ) ( € ) símbolos de propiedade intelectual ( © ) ( ℗ ) ( ® ) ( ™ ) ( ℠ ) ( Ⓜ )
Esta caixa: ver conversa editar

Lista de símbolos

Símbolo	Nome	Exemplo
⇒ → ⊃	Condicional	p → q Se p entón q.
⇔ ≡ ↔	Bicondicional Equivalencia	p ↔ q p se e soamente se[1] q.
¬ ˜ !	Negación	¬p Non p
∧ • &	Conxunción	p ∧ q p e q
∨ ǀǀ	Disxunción	p ∨ q p ou q
⊕ ⊻	Disxunción exclusiva	p ⊻ q p ou q, mais non as dúas
T	Tautoloxía	p ∨ ¬p ↔ T
⊥ F	Contradición	p ∧ ¬p ↔ ⊥
∀	Cuantificador universal[1]	∀xPx Todos os x pertencen a P
∃	Cuantificador existencial[1]	∃xPx Hai algún x que pertence a P
∃!	Cuantificador de unicidade	∃!xPx Hai un único x que pertence a P
:= ≡ :⇔	Definición	x := y x é loxicamente equivalente a y
( )	Parénteses	¬(p → q)
⊢	Conclusión	x ⊢ y y é deducible de x
⊨	Conclusión	x ⊨ y x é semanticamente equivalente a y
∴	Conclusión	p → q p ∴ q