Cuprins
23 relaţii: Algebră booleană, Aristotel, Augustus De Morgan, Complementară, Dacă și numai dacă, Disjuncție exclusivă, Disjuncție logică, Dualitate (matematică), Electrotehnică, George Boole, Ingineria calculatoarelor, Intersecție (matematică), Jean Buridan, Limbaj formal, Metalogică, Poartă logică, Program (informatică), Reuniune (matematică), Teoremă, Teoria mulțimilor, Teoria probabilităților, Validitate, William de Ockham.
Algebră booleană
Algebra booleană, numită și logica booleană, este un subdomeniu al matematicii în care legile gândirii - obiectul de studiu al logicii clasice - sunt studiate cu ajutorul metodelor simbolice.
Vedea Formulele lui De Morgan și Algebră booleană
Aristotel
Aristotel (în greacă: Αριστοτέλης, Aristoteles) a fost un filosof al Greciei Antice, discipol al lui Platon și fondator al școlii peripatetice.
Vedea Formulele lui De Morgan și Aristotel
Augustus De Morgan
Augustus De Morgan (n. 27 iunie 1806, d. 18 martie 1871) a fost matematician britanic, cunoscut pentru contribuțiile sale în logica matematică, motiv pentru care este considerat întemeietorul logicii formale.
Vedea Formulele lui De Morgan și Augustus De Morgan
Complementară
În teoria mulțimilor complementaraEugenia Paulescu, (curs, 2018), Universitatea de Vest din Timișoara, accesat 2023-06-04Andreea Arusoaie, Adrian Zălinescu (curs), Universitatea „Alexandru Ioan Cuza” din Iași, accesat 2023-06-04 sau complementulHoria-Nicolai Teodorescu, (curs, 2016), Universitatea Tehnică „Gheorghe Asachi” din Iași, accesat 2023-06-04Denis Ibadula,, imar.ro, accesat 2023-06-04Marius Mircea Bălaș, (teză de doctorat, 2001), Universitatea Politehnica Timișoara, accesat 2023-06-04 unei mulțimi, adesea notată cu A^ (sau A'), este mulțimea ale cărei elemente nu sunt în.
Vedea Formulele lui De Morgan și Complementară
Dacă și numai dacă
În logică și domeniile conexe, ca matematică și filosofie, dacă și numai dacă este o expresie care se referă la un conector logic între propoziții cognitive în funcție de două condiții, care trebuie să fie ambele adevărate sau false.
Vedea Formulele lui De Morgan și Dacă și numai dacă
Disjuncție exclusivă
Disjuncția exclusivă, cunoscută și ca sau exclusiv și notată prin XOR sau EOR, este o operație logică asupra doi operanzi din care rezultă o valoare logică de adevărat dacă și numai dacă unul dintre operanzi, dar nu amândoi, are valoarea adevărat.
Vedea Formulele lui De Morgan și Disjuncție exclusivă
Disjuncție logică
Poartă logică OR. În logică și matematică, disjuncția logică (scrisă or) este un operator logic care dă valoarea de adevărat dacă cel puțin unul dintre operanzi este adevărat.
Vedea Formulele lui De Morgan și Disjuncție logică
Dualitate (matematică)
În matematică, o dualitate transformă concepte, teoreme sau structuri matematice în alte concepte, teoreme sau structuri, printr-o transformare „unu la unu”, adesea (dar nu întotdeauna) prin intermediul unei operații de involuție: dacă dualul lui A este B, atunci dualul lui B este A.
Vedea Formulele lui De Morgan și Dualitate (matematică)
Electrotehnică
Electrotehnica este o ramură de inginerie si disciplină a științelor tehnice care studiază aplicațiile fenomenelor electromagnetice.
Vedea Formulele lui De Morgan și Electrotehnică
George Boole
George Boole (n. 2 noiembrie 1815 la Lincoln - d. 8 decembrie 1864 la Ballintemple, Cork) a fost matematician, logician și filozof britanic.
Vedea Formulele lui De Morgan și George Boole
Ingineria calculatoarelor
HD, rezultat al ingineriei calculatoarelor Ingineria calculatoarelor este un domeniu interdisciplinar care integrează cunoștințe de informatică și inginerie electronică necesare pentru a dezvolta hardware-ul și software-ul calculatoarelor.
Vedea Formulele lui De Morgan și Ingineria calculatoarelor
Intersecție (matematică)
Intersecția a două mulțimi (diagramă Venn). În matematică, intersecția A ∩ B a două mulțimi A și B este mulțimea care conține toate elementele din A care aparțin și lui B (sau, echivalent, toate elementele din B care aparțin și lui A), dar nu și alte elemente.
Vedea Formulele lui De Morgan și Intersecție (matematică)
Jean Buridan
"Expositio et quaestiones", comentarii asupra operei ''De anima'' a lui Aristotel Jean Buridan (în latină: Johannes Buridanus) a fost un preot și filozof francez.
Vedea Formulele lui De Morgan și Jean Buridan
Limbaj formal
În matematică, logică, informatică și lingvistică un limbaj formal este o mulțime de cuvinte de lungime finită (șiruri de caractere) bazate pe un alfabet finit, și teoria științifică ce tratează aceste entități se numește teoria limbajelor formale.
Vedea Formulele lui De Morgan și Limbaj formal
Metalogică
Metalogica este teoria sistemelor logice.
Vedea Formulele lui De Morgan și Metalogică
Poartă logică
thumb thumb O poartă logică este un dispozitiv electronic numeric elementar implementând o funcțiune logică abstractă elementară.
Vedea Formulele lui De Morgan și Poartă logică
Program (informatică)
Programul informatic este reprezentarea sau implementarea unui algoritm într-un cod sursă, scris într-un anumit limbaj de programare.
Vedea Formulele lui De Morgan și Program (informatică)
Reuniune (matematică)
Reuniunea a două mulțimi:~A \cup B Reuniunea a trei mulțimi:~A \cup B \cup C Reuniunea mulțimilor A, B, C, D și E este totul, mai puțin suprafața albă În teoria mulțimilor, reuniunea (notată cu ∪) a unei colecții de mulțimi este mulțimea tuturor elementelor din colecție.
Vedea Formulele lui De Morgan și Reuniune (matematică)
Teoremă
O teoremă este o propoziție al cărei adevăr se stabilește prin utilizarea raționamentului logic, incorporat în demonstrație.
Vedea Formulele lui De Morgan și Teoremă
Teoria mulțimilor
Teoria mulțimilor este domeniul matematicii care studiază conceptul de mulțime.
Vedea Formulele lui De Morgan și Teoria mulțimilor
Teoria probabilităților
Teoria probabilităților este o ramură a matematicii care studiază modul în care se desfășoară fenomenele aleatoare, opuse celor numite deterministe.
Vedea Formulele lui De Morgan și Teoria probabilităților
Validitate
În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.
Vedea Formulele lui De Morgan și Validitate
William de Ockham
William de Ockham, în Gulielmus Occamus, a fost un filosof, moralist și scriitor politic englez de formație franciscană, considerat printre cei mai influenți gânditori din secolul al XIV-lea.
Vedea Formulele lui De Morgan și William de Ockham
Cunoscut ca Legile lui De Morgan, Teoremele lui De Morgan.