Rezultatele căutării

[[Fișier:ORGate2.png|thumb|right|150px|[[Poartă logică]] OR.]] În [[logică]] și [[matematică]], '''disjuncția logică''' (scrisă '''''or''''') este un [[operator logic]] care dă valoarea de ade ...

O '''logică''' '''multimodală''' este o logică modală care are mai mult de un operator modal primitiv. ...unari primitivi <math>\Box_i, i\in \{1,\ldots, n\}</math> se numește ''n''-logică modală. ...

În [[matematică]], '''mulțimea vidă''' este [[mulțime]]a care nu conține niciun [[element]] Pentru orice [[Proprietate (logică)|proprietate logică]] {{mvar|P}}: ...

[[Image:NOR ANSI Labelled.svg|thumb|right|150px|[[Poartă logică]] NOR]] ...c [[logică booleană|boolean]] care produce un rezultat invers [[disjuncție logică|disjuncției logice]]. Adică, (''not or''), ''p'' NOR ''q'' este adevărat at ...

...ă]], astfel încât interpretarea corectă ar depinde de context. Echivalența logică este diferită de echivalența materială, deși cele două concepte sunt legate În logică există multe echivalențe logice comune și sunt adesea enumerate ca legi sau ...

...are de adevăr''', uneori numită și '''valoare logică''', este o [[valoare (matematică)|valoare]] atribuită unei [[propoziție|propoziții]] în legătură cu informaț |<div style="font-size:300%">·'''∧'''·</div><small>[[conjuncție logică |conjuncție]]</small><br/>&nbsp; ...

...tervalul unitate''' este [[interval (matematică)|intervalul]] [[închidere (matematică) |închis]] {{math|[0, 1]}}, adică [[mulțime]]a [[număr real |numerelor real În [[analiza matematică]], intervalul unitate este o [[varietate (geometrie) |varietate]] [[unidime ...

În [[matematică]], proprietatea de '''distributivitate''' a [[operație binară |operațiilor Se spune că [[înmulțire (matematică)|înmulțirea]] este distributivă față de [[adunare]]. ...

'''Clasificarea''' este operația și metoda [[logică]] prin care obiectele dintr-o [[mulțime]] dată sunt distribuite în [[submul În practica logică ne confruntăm cu abateri astfel ca: ...

În [[matematică]], '''mulțimile vagi''' sunt [[Mulțime|mulțimi]]<nowiki/> ale căror element * [[Logică fuzzy]] ...

...[ordinea operațiilor |ordinii operațiilor]] și alte aspecte ale [[sintaxă (logică) |sintaxei matematice]]. ...in [[valoare de adevăr]] ''[[adevărat (logică)|adevărate]]'' sau ''[[fals (logică)|false]]'', în funcție de valorile variabilelor care apar în expresii. De e ...

...ere naturale]] care pot fi definite printr-o [[formulă bine formată]] de [[Logică de ordinul întâi |ordinul întâi]] în [[axiomele Peano |aritmetica Peano]]. * [[complement (matematică)|Complementul]] unei mulțimi aritmetice este o mulțime aritmetică. ...

...ație logică]] asupra doi [[operand|operanzi]] din care rezultă o [[valoare logică]] de ''adevărat'' dacă și numai dacă unul dintre operanzi, dar nu amândoi, [[Fișier:XOR gate symbol.jpg|thumb|right|150px|[[Poartă logică]] XOR]] ...

În [[analiza matematică]], un '''șir convergent''' este un [[șir infinit]] de elemente dintr-un [[s ...th>. Numărul <math>x^*</math> cu această proprietate se numește [[limită (matematică)|limita]] șirului. ...

În [[matematică]] o '''operație unară''' este o [[Operație (matematică)|operație]] cu un singur [[operand]], adică o singură mărime de intrare.<re ...și alte notații. De exemplu bara orizontală care extinde semnul [[radical (matematică)|radical]] indică extinderea argumentului. ...

=== În logică === === În matematică === ...

...4|page=356}}</ref> însă acest termen are în matematică și alte sensuri. În logică și [[filosofie]], mai este cunoscut drept '''adicitate'''<!-- nu e „acidita ...este o operație binară”. În general, denumirea funcțiilor sau [[operator (matematică)|operatorilor]] cu o anumită aritate urmează o convenție similară cu cea ut ...

...tă pe larg. Rezultatele de reper în acest domeniu au stabilit independența logică a axiomei alegerii față de axiomele ZFC rămase (a se vedea [[Axioma alegeri ...nătura are egalitate și o singură [[relație binară]] primitivă, [[Element (matematică)|apartenență la mulțime]], care este notată de obicei <math>\in</math> . Fo ...

[[Fișier:Dominoeffect.png|thumb|right|300px|[[Inducţie matematică|Inducţia matematică]] poate fi asemănată efectului căderii pieselor de domino.]] ...te o modalitate de [[demonstrație matematică|demonstrație]] utilizată în [[matematică]] pentru a stabili dacă o anumită propoziție este valabilă pentru un număr ...

Cele <math>2^n</math> numere reprezentabile pe ''n'' biți formează [[Inel (matematică)|inelul]] claselor de echivalență a resturilor modulo <math>2^n</math>. Făr ...t, este important ca [[unitate aritmetică și logică|unitatea aritmetică și logică]] să poată detecta această condiție de eroare. Aceasta se poate face urmări ...