V logiki obstajajo različne oznake za logične povezave in kvantifikatorje. Besedice in, ali, če ..., potem, če in samo če ter negacijo lahko zapišemo s posebnimi znaki, ki jim pravimo logični simboli.

Besedo in lahko nadomestimo z logičnim simbolom .

Na primer:

• Jaka bo na šolski proslavi pel in Albert bo igral kitaro.
  zapišemo v simbolnem jeziku
  
• Jaka bo na šolski proslavi pel Albert bo igral kitaro.

Besedo ali nadomestimo z znakom .

Na primer:

• Jaka bo slikar ali pa filmski režiser.
  zapišemo v simbolnem jeziku kot:
  
• Jaka bo slikar Jaka bo režiser.

Namesto besed če ..., potem v logiki uporabljamo znak .

Poglejmo primer. V simbolnem jeziku bi izjavo:

• Če bo Jaka pojedel vso zelenjavo pri kosilu, bo za sladico dobil sladoled.
  zapisali kot:
  
• Jaka bo pojedel vso zelenjavo pri kosilu Jaka bo dobil sladoled za sladico.

Namesto besed če in samo če, v logiki uporabljamo znak .

Poglejmo primer. V simbolnem jeziku bi izjavo:

• Jutri bo šolska tekma v nogometu, če in samo če bo sončno vreme.
  zapisali kot:
• Jutri bo šolska tekma v nogometu jutri bo sončno vreme.
  

Negacijo izjave lahko označimo z znakom .

Izjavo:

• Ni res, da zunaj dežuje.
  lahko ponazorimo z znakom :
• Zunaj dežuje.