i formell logik: tecken för ekvivalens. – Tecknet ↔ är likvärdigt med ⇔ och ≡ (tre vågräta streck), men det kan förekomma specialbetydelser.
[logiska symboler] [ändrad 24 november 2019]
Kategori: matematik och logik
⇔
i formell logik: tecken för ekvivalens. Tecknet ⇔ är likvärdigt med ↔ och ≡ (tre vågräta streck).
[logiska symboler] [tecken] [ändrad 24 november 2019]
⇒
i formell logik: tecken för implikation (om—så). – Tecknet ⇒ är vanligtvis likvärdigt med →, men det kan förekomma att det har specialbetydelser.
[logiska symboler] [tecken] [ändrad 18 december 2018]
⊃
i mängdlära: tecken för övermängd (superset). A⊃B betyder att ”A är en (äkta) övermängd till B”. Med andra ord: ”B är en (äkta) delmängd till A”. Det innebär att mängden A innehåller allt som finns i mängden B och dessutom mer. (”Äkta” i ”äkta delmängd” betyder att de två mängderna inte är identiska.) – I formell logik är A⊃B likvärdigt med A→B, se implikation. (Om du ser ett rakt streck under ⊃ i rubriken, ignorera det.)
[logiska symboler] [tecken] [ändrad 5 april 2017]
≣
i logik: tecken för ekvivalens. (Tecknet har tre streck, vilket inte alltid syns på bildskärmen. Om du också här ser ett fjärde, lite längre, streck underst, ignorera det.) – Tecknet ≣ är likvärdigt med tecknen ⇔ och ↔. – Jämför med hamburgarmeny.
[logiska symboler] [tecken] [ändrad 5 mars 2022]
likhetstecken
tecknet =, som utläses ”(är) lika med”. Kallas också för ”likamedtecken”. Förutom i matematik används likhetstecken som logisk symbol för logisk ekvivalens.
[logiska symboler] [tecken] [ändrad 24 augusti 2016]
=
– se likhetstecken. (Ignorera det understa, tunna strecket, om ett sådant visas i din webbläsare. Det ingår inte i tecknet.)
[logiska symboler] [tecken] [ändrad 24 november 2019]
materiell ekvivalens ⇢
i logik: se under ekvivalens.
logisk ekvivalens
det att två påståenden beskriver samma sakförhållande. Kallas också för semantisk ekvivalens. Det skrivs i formell logik med likhetstecken: A=B, vilket kan utläsas: ”A är logiskt ekvivalent med B”. Innebörden är ju samma som i matematik. Enkelt exempel: ”Carl XVI Gustaf är kung av Sverige” är logiskt ekvivalent med ”Kungen av Sverige heter Carl XVI Gustaf”. – Logisk ekvivalens ska skiljas från materiell ekvivalens, som i logik ofta kallas för bara ekvivalens eller tautologisk ekvivalens. Materiell ekvivalens innebär att av två påståenden är antingen båda sanna eller båda falska (oavsett vad det beror på). Om två påståenden är logiskt / semantiskt ekvivalenta, det vill säga uttrycker samma sak på olika sätt, måste de också vara materiellt / tautologiskt ekvivalenta. Men motsatsen gäller inte alltid. ”Strömbrytaren är på” kan vara materiellt / tautologiskt ekvivalent med ”lampan lyser”, men de två påståendena behöver inte uttrycka samma sakförhållande (strömbrytaren kan ju vara på, men lampan trasig) och är alltså inte logiskt / semantiskt ekvivalenta. – På engelska: logical equivalence.
[logik] [ändrad 3 juli 2019]
logik
- – konsten att dra säkra slutsatser. – Logik behandlar sambandet mellan påståenden och argument som är sanna, falska eller osäkra. Inom datorvetenskap är det främst formell logik som är viktig. Formell logik är logik som kan uttryckas med logiska symboler, och som kan ses som ett slags matematik (se boolesk, sanningsvärde och sanningvärdestabell). I formell logik utgår man enbart från påståenden som kan uttryckas som logiska formler, och tar inte hänsyn till yttre omständigheter – jämför med inferens. Att man behärskar formell logik är en förutsättning för att man ska kunna programmera: datorer vet ju bara det som man talar om för dem;
- – kretsar, instruktioner och regler som är tillämpad logik. – Affärslogik är till exempel de regler som är inbyggda i ett affärssystem, och som delvis automatiserar affärsprocesserna. – Läs också om logisk.
[logik] [ändrad 8 februari 2021]