Implicarea este

Implicația (implicarea latină) este o binară logică binară, care, în aplicația sa, este aproape de sindicatele "dacă ... atunci ...".

Implicația este scrisă ca o parcelă; De asemenea, săgețile unei alte forme sunt folosite și îndreptate către cealaltă parte (punctul indică întotdeauna efectul).

Propunerea. exprimată implicit, este exprimată și în următoarele moduri:

O parcelă este o condiție. suficient pentru anchetă;
Consecința este condiția necesară pentru adevărul premisei.

Logica booleană

În logica booleană, implicarea este o funcție a două variabile (acestea sunt operanții unei operații, ele sunt argumente ale unei funcții). Variabilele pot lua valori dintr-un set. Rezultatul aparține, de asemenea, setului. Rezultatul este calculat printr-o regulă simplă sau printr-un tabel de adevăr. În loc de valori, orice altă pereche de simboluri potrivite poate fi folosită, de exemplu, fie "falsă", fie "adevărată".
regulă:
Implicarea ca funcție booleană este falsă numai atunci când premisa este adevărată, iar corolarul este fals. Cu alte cuvinte, implicarea este o intrare abreviată pentru o expresie.
Tabelele de Adevăr:
implicare directă (de la a la b) (implicare materială, condiție materială)

dacă, atunci adevărat (1),

Semnificația "cotidiană" a implicării. Pentru o înțelegere mai ușoară a semnificației implicării directe și memorarea tabelului adevărului, modelul de zi cu zi poate fi util: A este șeful. El poate ordona "munca" (1) sau spune "face ce vrei" (0). B - subordonat. Acesta poate funcționa (1) sau inactiv (0). În acest caz, implicarea nu este altceva decât ascultarea subordonatului șefului. Conform tabelului cu adevărat, este ușor să se verifice că ascultarea nu este numai atunci când șeful comandă să lucreze, iar subordonații sunt inactivi.

dacă, atunci adevărat (1),
implicarea inversă - negarea (negarea, inversiunea) de detectare a creșterii (trecerea de la 0 la 1, increment).

Negarea (inversiunea, negarea) implicării inverse (),
un împrumut într-un semi-subtracter binar,

Implicare și efect

Nu confunda implicațiile (->) și implicațiile logice (=>). Implicarea, ca expresie logică, poate lua în sine valorile adevărului sau minciunii. Același logic A => B, afirmă că în toate cazurile în care formula A este adevărată, B și ea va fi adevărată.

Sinonimă implicație a expresiei în limba rusă

Atunci când A, apoi B
În cazul în care A
Când A B
Din A urmează B
În cazurile A, B
B, deoarece A
Pentru că pentru că A
Fără A nu va exista nici un B
B este imposibil în absența lui A
O condiție necesară pentru A
O condiție suficientă pentru V.

Logica multivaluată

Această secțiune a articolului nu este încă scrisă.

Conform ideii unui participant din Wikipedia, în acest moment trebuie să existe o secțiune specială.
Puteți ajuta proiectul scriind această secțiune.

Teoria seturilor

Implicarea declarațiilor înseamnă că una dintre ele rezultă din cealaltă. Implicația este notată cu simbolul ⇒ și corespunde embedding-ului de seturi: let A ⊂ B, apoi

De exemplu, dacă A este mulțimea tuturor pătratelor și B este setul de dreptunghiuri, atunci, desigur, A ⊂ B și

(dacă a este un pătrat, atunci a este un dreptunghi).

Clasica logică

Se poate dovedi echivalenței implicație A → formula B (dintr-o privire mai evidentă formula sa de echivalență, care presupune valoarea „fals“, în cazul în care efectuează A (postare), dar nu satisface B (consecință)).

Această secțiune nu este completă.

Veți ajuta proiectul prin corectarea și adăugarea acestuia.

Logica intuiționistă

În logica intuiționistă, implicarea nu reduce în nici un fel negarea. Mai degrabă, negarea lui ¬A poate fi reprezentată ca A → ⊭, unde ⊭ este "minciuna" constanta propozițională. Cu toate acestea, o astfel de reprezentare a negării este posibilă în logica clasică.

În teoria intuiționistă a tipurilor de implicații corespunde un set (tip) de mapări de la A la B.

Logica silogismului

În doctrina silogismelor de implicare, răspunsurile "în general afirmative" corespund.

programare

În limbile de programare, implicarea este utilizată, de regulă, implicit. De exemplu, o construcție care presupune adevărul condiției B într-o anumită secțiune a programului:

va reuși dacă și numai dacă implicația A → B este adevărată. În același timp, aceste condiții pot fi scrise în siguranță într - o singură linie, combinându - le cu operatorul AND sau . În conformitate cu opțiuni de compilator standard de (Delphi, C ++ Builder) este verificat atât timp cât rezultatul nu devine evident, iar dacă A este falsă, atunci (A și B) este falsă, indiferent de B, și nu are nevoie pentru a pune o altă declarație condiționată.

În limbile funcționale, implicarea nu poate fi doar o regulă de calcul, ci și un fel de relație între date, adică procesată (inclusiv executată) și creată în timpul executării programului.

Această secțiune nu este completă.

Veți ajuta proiectul prin corectarea și adăugarea acestuia.

Vedeți ce implicație are în alte dicționare:

IMPLICAȚIE - (din implicarea latină implicată, implică strâns legătura) un pachet logic corespunzător construcției gramatice "dacă. atunci. ", Cu ajutorul căruia se formează o declarație complexă din două cuvinte simple. În declarația implicită ... ... Enciclopedia filosofică

Implicația - implicația, afirmație logică „, în cazul în care P, atunci Q» tip care leagă două enunț elementar P (antecedent) și Q (consecință logică). În LOGIC matematic aceste două instrucțiuni nu sunt conectate. Există o implicație materiale ... ... Știință și Tehnologie dicționar enciclopedic

Implicare - Implicare ♦ Implicare Relația dintre două judecăți, în care a doua este o consecință necesară a primului: dacă p, atunci q. Dacă prima propoziție este adevărată, a doua este adevărată. Dacă al doilea este fals, fals și primul. Dimpotrivă, dacă primul ... ... dicționar filosofic Sponvil

IMPLICAȚII - (din latină implică strâns legătura) (implicare materială) aproximativ echivalentul logic al cifrei de afaceri dacă. atunci. ; funcționarea, formalizarea proprietăților logice ale acestei cifre de afaceri ... Dicționar encyclopedic mare

implicare - și, f. implicare f. l. Implikation <лат. implicatio сплетение, переплетение. 1. В логике: операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу если. то. Крысин… … Исторический словарь галлицизмов русского языка

IMPLICAȚII - în domeniul informaticii, echivalentul cifrei de afaceri "dacă. atunci. ", Formând o declarație complexă a două afirmații, precum și o operațiune logică formalizând în program proprietățile logice ale acestei cifre de afaceri ... Enciclopedia Big Politehnică

Implicarea este o funcție logică, o consecință (dacă A, apoi B); în interpretarea logicii matematice, implicarea materială. declarația dacă A, atunci B este falsă, numai dacă A este adevărată și B este falsă și în stabilirea adevărului implicării materiale nu este ... ... Lumea lui Lem este un dicționar și un ghid

Pagina anterioară

Pagina următoare