Símbolos lóxicos

Na Galipedia, a Wikipedia en galego.
Símbolos lóxicos
Signos ortográficos
punto ( . )

coma ( , )
punto e coma ( ; )
dous puntos ( : )
parénteses ( ( ) )
corchetes ( [ ] )
raia ( )
comiñas ( « » ) ( ‘ ’ ) ( “ ” )
signo de interrogación ( ? )
signo de exclamación ( ! )
puntos suspensivos ( )
acento ( ◌́ )
diérese ( ◌̈ )
guión ( )
barra diagonal ( / )
apóstrofo ( ' ) ( )
espazo (   )

Outros signos auxiliares
antilambda ( < > )

antígrafo ( )
arroba ( @ )
asterisco ( * )
barra inversa ( \ )
barra vertical ( | ) ( ¦ )
chaves ( { } )
cruz ( ) ( )
e comercial ( & )
frecha ( )
grade ( # )
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
( © ) ( ) ( ® ) ( ) ( ) ( Ⓜ )

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.

Lista de símbolos[editar | editar a fonte]

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
x y
x é semanticamente equivalente a y
Conclusión p → q
p
∴ q

Notas[editar | editar a fonte]

  1. 1,0 1,1 1,2 Masa Vázquez, Xosé M.; Fortes López, Belén (1995). Vocabulario de Matemáticas. Servicio de Normalización Lingüística da Universidade de Santiago de Compostela. ISBN 84-8121-369-1.

Véxase tamén[editar | editar a fonte]

Outros artigos[editar | editar a fonte]