Boolean drift
I logik kaldes logiske operationer handlinger, som et resultat af hvilke nye koncepter genereres ved hjælp af eksisterende. I en snævrere forstand bruges begrebet logisk operation i matematisk logik og programmering .
Formel logik
Logiske operationer med begreber er sådanne mentale handlinger, hvis resultat er en forståelse af betydningen eller en ændring i indholdet eller volumen af begreber, såvel som dannelsen af nye begreber .
En operation, der afslører essensen af konceptet:
Operationer, der hovedsageligt er forbundet med at ændre indholdet af begreber omfatter:
- negation (IKKE);
- begrænsning ;
- generalisering ;
Operationer, der hovedsageligt er forbundet med en ændring i mængden af koncepter omfatter:
- logisk addition (OR);
- logisk multiplikation (AND);
- logisk subtraktion (XOR);
- logisk opdeling .
Disse operationer kan skrives matematisk ved hjælp af mængdelære .
Overgangen til matematisk logik er forbundet med begrebet domme og etableringen af operationer på dem for at opnå komplekse domme.
Matematisk logik
Logisk operation ( logisk operator , logisk bindende , propositionel forbindelse ) er en operation på udsagn , der giver dig mulighed for at komponere nye udsagn ved at kombinere simplere udsagn [1] .
De vigtigste kaldes normalt konjunktion ( eller &), disjunktion ( ), implikation ( ), negation ( ). I betydningen klassisk logik kan logiske forbindelser defineres ud fra logikkens algebra . I asynkron sekventiel logik defineres en logisk-dynamisk forbindelse i form af en venjunction- operation ( ).
Programmering
Logisk operation - i programmering, en operation på udtryk af en logisk (boolesk) type , svarende til en operation på udsagn i logisk algebra . Ligesom påstande kan logiske udtryk antage en af to sandhedsværdier - "sand" eller "falsk". Logiske operationer bruges til at opnå komplekse logiske udtryk fra simplere. Til gengæld bruges logiske udtryk normalt som betingelser for at kontrollere rækkefølgen af programafvikling.
I nogle programmeringssprog (for eksempel i C -sproget) bruges numeriske typer i stedet for den boolske type eller samtidig med den . I dette tilfælde anses en værdi, der ikke er nul, for at være en logisk sand, og nul er en logisk løgn.
Værdien af en individuel bit kan også ses som en boolsk værdi, idet det antages, at 1 betyder "sand" og 0 betyder "falsk". Dette giver dig mulighed for at anvende logiske operationer på individuelle bit, på bitvektorer komponent-for-komponent og på tal i binær repræsentation bit-for- bit. Denne samtidige anvendelse af en logisk operation til en sekvens af bit udføres ved hjælp af bitvise logiske operationer . Bitvise logiske operationer bruges til at operere på individuelle bit eller grupper af bit, anvende bitmasker og udføre forskellige aritmetiske beregninger.
Blandt de logiske operationer er de mest berømte konjunktion (&&), disjunktion (||), negation (!). De forveksles ofte med bitoperationer , selvom de er forskellige ting. For eksempel følgende C -kode :
if ( handling_påkrævet && some_condition ()) { /* nogle handlinger */ }vil ikke udføre et subrutinekald, some_condition()hvis værdien af den booleske variabel er action_requiredfalsk. Med en sådan operation vil det andet argument for "&&" operationen slet ikke blive evalueret.
I programmeringssprog
Følgende tabel viser indbyggede operatører og funktioner, der implementerer logiske operationer for nogle programmeringssprog .
| Sprog | IKKE | Og | ELLER | Ekskl. ELLER | Equiv. | Ikke ens. | Andet |
|---|---|---|---|---|---|---|---|
| C++ [2] | ! | && | || | ^ | == | != | |
| Fortran [3] | .IKKE. | .OG. | .ELLER. | .XOR. | .EQV. | .NEQV. | |
| Java [4] | ! | && | || | ^ | == | != | |
| Pascal [5] | ikke | og | eller | xor | = | <> | |
| PL/I [6] | ¬ | & | | | ¬ | = | ¬= | BOOL |
| ^ | ^ | ^= | |||||
| Prolog [7] | \+ | , | ; | ||||
| Python [8] | ikke | og | eller | ^ | == | != | |
| Turbo Basic [9] | IKKE | OG | ELLER | XOR | EQV | <> | IMP |
| JavaScript | ! | && | || | ^ | == | != |
|
| |
| (fil) | (fil) (zoom ind) |
Se også
Noter
- ↑ Mendelssohn E. Introduktion til matematisk logik . - M . : "Nauka", 1971. - S. 19.
- ↑ C++98 Standard Draft (downlink)
- ↑ FORTRAN 77 Fuld sprogstandard. Logiske operatører (downlink) . Dato for adgang: 21. januar 2010. Arkiveret fra originalen 24. januar 2010.
- ↑ Java-sprogspecifikation. Anden udgave Arkiveret 30. august 2009 på Wayback Machine , afsnit 15.15, 15.21.2, 15.22-15.24
- ↑ Pascal sprogreference. Operatører (downlink) . Hentet 21. januar 2010. Arkiveret fra originalen 3. maj 2017.
- ↑ PL/I sprogreference . Hentet 20. januar 2010. Arkiveret fra originalen 25. september 2018.
- ↑ GNU-Prolog Manual Arkiveret 23. januar 2010 på Wayback Machine , afsnit 6.2.2, 7.18.2
- ↑ operatør - Standard operatører som funktioner . Python . Hentet 21. oktober 2020. Arkiveret fra originalen 20. oktober 2020.
- ↑ Turbo Basic. Ejerhåndbog. r.77
Links
- TSB. Logisk operation (i programmering) // Great Soviet Encyclopedia : [i 30 bind] / kap. udg. A. M. Prokhorov . - 3. udg. - M . : Sovjetisk encyklopædi, 1969-1978.
- TSB. Logiske operationer (i logik) // Great Soviet Encyclopedia : [i 30 bind] / kap. udg. A. M. Prokhorov . - 3. udg. - M . : Sovjetisk encyklopædi, 1969-1978.
 Ordbøger og encyklopædier | |
|---|---|
| I bibliografiske kataloger |
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||