Arabă Bulgară Chineză Croată Cehă Daneză Olandeză Engleză Estoniană Finlandeză Franceză Germană Greacă Hindi Indonezian Islandeză Italiană Japoneză Letonă Lituaniană malgașă Norvegiană Persană Poloneză Portugheză Română Rusă Sârbă Slovacă Slovenă Spaniolă Thai Turcă Vietnameză suedeză
Arabă Bulgară Chineză Croată Cehă Daneză Olandeză Engleză Estoniană Finlandeză Franceză Germană Greacă Hindi Indonezian Islandeză Italiană Japoneză Letonă Lituaniană malgașă Norvegiană Persană Poloneză Portugheză Română Rusă Sârbă Slovacă Slovenă Spaniolă Thai Turcă Vietnameză suedeză
definiție - IMPLICAȚII
Din Wikipedia, enciclopedia gratuită
Implicarea este o binară logică binară, care, în aplicația sa, este aproape de sindicatele "dacă ... apoi ...".
Implicația este scrisă ca o parcelă; Alte săgeți sunt, de asemenea, folosite și îndreptate către cealaltă parte (punctul indică întotdeauna efectul). 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.
Tabelele de Adevăr:
implicare directă (de la a la b) (implicare materială, material condiționată)
corespunde funcției f (10,1,1101) 2 (x, y) = f (2,1,13) 10 (x, y);
dacă a<=b , то истино (1),
implicare inversă (de la b la a)
corespunde funcției f (10,1,1011) 2 (x, y) = f (2,1,11) 10 (x, y),
Dacă a> = b, atunci adevărul (1),
implicare inversă - negare (negare, inversiune) 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,
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
Afirmațiile implicație înseamnă că unul dintre ei ar trebui să fie de la drugogo.Implikatsiya notată cu ⇒, și corespunde seturile de înglobare Fie A ⊂B, atunci
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 folosită, de regulă, implicit, de exemplu, o construcție de tipul:
va fi pus în aplicare cu succes dacă și numai dacă implicație A → B.Pri că, dacă A sa dovedit a fi false, testul B nu va avea loc la toate.