Símbolos Lóxicos

∃
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;

Moitos destes símbolos aparecen tamén en expresións matemáticas.

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 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	∀xPx Todos os x pertencen a P
∃	Cuantificador existencial	∃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
⊨		x ⊨ y x é semanticamente equivalente a y
∴	Conclusión	p → q p ∴ q

Notas

Véxase tamén

Outros artigos

This article uses material from the Wikipedia Galego article Símbolos lóxicos, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Todo o contido está dispoñible baixo a licenza CC BY-SA 4.0, agás que se indique o contrario. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Galego (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.

Símbolos Lóxicos

Lista de símbolos

Notas

Véxase tamén

Outros artigos

Tags:

🔥 Trending searches on Wiki Galego: