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.
Naloge iz tega poglavja
Uvod
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.
Naloge iz tega poglavja
Konjunkcija
Besedo in lahko nadomestimo z logičnim simbolom .
Na primer:
Naloge iz tega poglavja
Diskunkcija
Besedo ali nadomestimo z znakom .
Na primer:
Naloge iz tega poglavja
Implikacija
Namestno besed Če, potem, v logiki uporabljamo znak .
Poglejmo primer. V simbolnem jeziku bi izjavo:
Naloge iz tega poglavja
Ekvivalenca
Namesto besed Če in samo če, v logiki uporabljamo znak .
Poglejmo primer. V simbolnem jeziku bi izjavo:
Naloge iz tega poglavja
Negacija
Negacijo izjave lahko označimo z znakom .
Izjavo:
Naloge iz tega poglavja
Naloga
Kako bi z logičnimi simboli zapisali naslednjo izjavo:
Odgovor je žal napačen. Poskusite ponovno.