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.

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