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 Símbolo NomeExemplo⇒→⊃Condicionalp → qSe p entón q.<div style="font-size:200%;">⇔≡↔BicondicionalEquivalenciap ↔ qp se e soamente se q.<div style="font-size:200%;">¬˜!Negación¬pNon p<div style="font-size:200%;">∧ •&Conxunciónp ∧ qp e q<div style="font-size:200%;">∨ǀǀDisxunciónp ∨ qp ou q<div style="font-size:200%;">⊕Disxunción exclusiva p ⊻ qp ou q, mais non as dúas<div style="font-size:200%;">TTautoloxía p ∨ ¬p ↔ T<div style="font-size:200%;">⊥FContradición p ∧ ¬p ↔ ⊥<div style="font-size:200%;">∀Cuantificador universal∀xPxTodos os x pertencen a P<div style="font-size:200%;">∃Cuantificador existencial∃xPxHai algún x que pertence a P<div style="font-size:200%;">∃!Cuantificador de unicidade∃!xPxHai un único x que pertence a P<div style="font-size:200%;">:=≡:⇔Definiciónx := yx é loxicamente equivalente a y<div style="font-size:200%;">( )Parénteses¬(p → q)<div style="font-size:200%;"> Conclusiónx yy é deducible de x<div style="font-size:200%;"> Conclusiónx yx é semanticamente equivalente a y<div style="font-size:200%;">∴ Conclusión p → q p∴ q
Notas
Véxase tamén Outros artigos Símbolos matemáticos Fórmula lóxica Lóxica de clases
Categoría:Tipografía Categoría:Lóxica Categoría:Símbolos matemáticos