acces mai rapid decât browser-ul!
11 relaţii: Conector logic, Dacă și numai dacă, Deducție, Disjuncție exclusivă, Disjuncție logică, Inducție matematică, Negarea antecedentului, Operație binară, Propoziție circumstanțială condițională, Teoremă reciprocă, Valoare de adevăr.
Conector logic
În logică, conectorii logici sunt simboluri sau cuvinte folosite pentru legarea a două sau mai multe predicate (afirmații) într-o manieră gramaticală validă, sau sunt operatori logici meniți să combine predicate (propoziții) în cadrul unei logici (inter)propoziționale.
Nou!!: Implicație logică și Conector logic · Vezi mai mult »
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.
Nou!!: Implicație logică și Dacă și numai dacă · Vezi mai mult »
Deducție
Deducția este un proces de inferență cu propoziții logice.
Nou!!: Implicație logică și Deducție · Vezi mai mult »
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.
Nou!!: Implicație logică și Disjuncție exclusivă · Vezi mai mult »
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.
Nou!!: Implicație logică și Disjuncție logică · Vezi mai mult »
Inducție matematică
Inducţia matematică poate fi asemănată efectului căderii pieselor de domino. Inducția matematică („raționamentul prin recurență” sau „inducția completă infinită”) este o modalitate de demonstrație utilizată în matematică pentru a stabili dacă o anumită propoziție este valabilă pentru un număr nelimitat de cazuri, contorul cazurilor parcurgând toate numerele naturale.
Nou!!: Implicație logică și Inducție matematică · Vezi mai mult »
Negarea antecedentului
Negarea antecedentului este o eroare logică ce se comite în raționamente de acestă formă: Argumentele în această formă sunt invalide (cu excepția când argumentul instanțiază o altă formă validă).
Nou!!: Implicație logică și Negarea antecedentului · Vezi mai mult »
Operație binară
y obținând x \circ y În matematică, o operație binară este un procedeu care combină două elemente ale unei mulțimi (numite operanzi) pentru a produce un alt element.
Nou!!: Implicație logică și Operație binară · Vezi mai mult »
Propoziție circumstanțială condițională
În sintaxă, propoziția circumstanțială condițională se definește în general ca propoziția subordonată care îndeplinește funcția de complement circumstanțial condițional al predicatului propoziției principale, exprimând condiția (ipoteza) de a cărei îndeplinire sau neîndeplinire depinde realizarea sau nerealizarea procesului din propoziția principalăAvram 1997, p. 447-448.
Nou!!: Implicație logică și Propoziție circumstanțială condițională · Vezi mai mult »
Teoremă reciprocă
Teorema reciprocă (latină „reciprocus” cu sensul de „care inversează”) a unei teoreme date este teorema la care se inversează locul termenilor implicației teoremei date inițial, ipoteza teoremei reciproce este concluzia teoremei date și a cărei concluzie este ipoteza teoremei date.
Nou!!: Implicație logică și Teoremă reciprocă · Vezi mai mult »
Valoare de adevăr
În logică și matematică o valoare de adevăr, uneori numită și valoare logică, este o valoare care indică relația dintre o propoziție și adevăr.
Nou!!: Implicație logică și Valoare de adevăr · Vezi mai mult »
