HTML | tarkoittaa | |
---|---|---|
¬ |
¬ ¬ U+AC |
Kieltomerkki (EI) Kieltomerkki, jota symboloidaan ¬, edustaa loogista kieltotoimintoa. Se on tosi, kun sen operandi on epätosi ja päinvastoin. |
∧ |
∧ ∧ U+2227 |
Yhtäpitomerkki (JA) Edustaa loogista yhtäpitotoimintoa, joka on tosi vain, kun molemmat operandit ovat tosia. |
∨ |
∨ ∨ U+2228 |
Disjunktiomerkki (TAI) Edustaa loogista disjunktiotoimintoa, joka on tosi, jos vähintään yksi sen operandeista on tosi. |
→ |
→ → U+2192 |
Implikaatiomerkki Edustaa loogista implikaatiotoimintoa, jossa jos antedentti on tosi, seurantana olevan lauseen on oltava tosi. |
↔ |
↔ ↔ U+2194 |
Kaksisuuntainen merkki (Jos ja Vain jos) Edustaa loogista kaksisuuntaista toimintoa, joka on tosi, kun molemmilla operaandeilla on sama totuusarvo. |
Mikä on kieltomerkki (EI)?
Kieltomerkki, symbolisoitu ¬:lla, käytetään logiikassa kieltotoiminnon ilmaisemiseen. Kieltotoiminto on tosi, kun sen operandi on epätosi ja päinvastoin.
Vaihtoehtoiset esitykset ohjelmoinnissa ja tietokoneohjelmissa
Eri ohjelmistoissa ja ohjelmointikielissä "ei" -toiminto voidaan esittää eri tavoin:
- JavaScript (JS): Looginen "ei" esitetään käyttämällä
!
. Esimerkiksi!x
. - Google Sheets: Käyttää funktiota
NOT()
, kuten=NOT(A1=10)
. - Excel: Käyttää pääasiassa funktiota
NOT()
, kuten=NOT(A1=10)
.
Kieltomerkkiä käytetään eri aloilla
Kieltomerkkiä (¬) käytetään monilla aloilla:
- Matematiikka: Laajalti käytetty ehdollisessa logiikassa ja muissa matemaattisissa yhteyksissä.
- Tietojenkäsittelytiede: Käytetään ohjelmoinnissa loogisiin operaatioihin ja ehtoihin.
- Filosofia: Käytetään formaalissa logiikassa ja filosofisissa argumenteissa.
Kieltomerkkiä tulkitsee suurelta osin sen kontekstuaalinen käyttö, olipa kyse sitten akateemisista tieteenaloista tai sovelletuista tieteistä.
Kuinka kirjoittaa kieltomerkki näppäimistön pikanäppäimillä, Alt-koodeilla ja LaTeXilla
- Windows: Pidä Alt-näppäintä pohjassa ja kirjoita sopiva koodi numeronäppäimistöllä, sitten vapauta Alt-näppäin. (Tarkka Alt-koodi voi vaihdella fontin ja ohjelmiston perusteella.)
- Mac: Tarkka pikanäppäin voi vaihdella. Usein tarvitaan erikoistuneita ohjelmistoja tai asetuksia.
- Linux: Paina Ctrl + Shift + u, kirjoita sitten Unicode-heksadesimaaliluku ja paina Enter.
- HTML: Käytä sopivaa nimettyä merkkiä tai sen numeromerkkiä.
- LaTeX: Kirjoittaaksesi kieltomerkki LaTeXissa, käytä komentoa
\lnot
.