200 Ergebnisse (in 0 ms)
1
N.
schriftspr. 1 Lüge f f; Unwahrheit f f; Falschaussage f f; Trug m m.
2 Logik Trugschluss m m; Sophisma n n. shinjitsu真実
2
Logik atomistischer Satz m m.
3
N.
Logik Horn-Formel f f (nach Alfred Horn).
4
N.
Logik assertorisches Urteil n n; tatsächliches Urteil n n.
5
N.
Logik Kontraposition f f.
6
N.
Logik disjunktive Normalform f f.
7
Logik Disjunktion f f.
8
N.
Logik induktive Logik f f. enʼeki·ronrigaku演繹論理学
9
N.
1 einfacher Name m m; einfache Bezeichnung f f.
2 Logik Einfache Aussage f f; Elementaraussage f f.
10
N.
1 Math., Logik notwendige Bedingung f f; notwendige Voraussetzung f f. jūbun·jōken十分条件
2 Erfordernis n n.
11
N.
Logik Untersatz m m (im Syllogismus).
12
Logik disjunktive Proposition f f.
13
N.
Logik Allquantor m m; Universalquantor m m; Universalquantifikator m m; Generalisator m m; .
14
N.
Logik Allgemeinbegriff m m; universales Konzept n n. ippan·gainen一般概念 tandoku·gainen単独概念
15
N.
schriftspr. 1 Anblick m m; Aussehen n n; Bild n n; Phase f f.
2 Logik Modalität f f.
16
N.
schriftspr. 1 Logik Attribut n n.
2 Biol. angeborene Eigenschaft f f; Merkmal n n.
3 EDV Attribut n n.
17
Logik mehrwertige Logik f f.
18
N.
1 Logik, Math.  Gleichwertigkeit f f; Äquivalenz f f; Gleichmächtigkeit f f (engl. if and only if).
2 allg. Gleichwertigkeit f f; Äquivalenz f f. || Äquivalent n n; Gleichwertiges n n. || Gegenwert m m; selber Wert m m.
19
N.
Logik  Wahrheitstafel f f; Wahrheitstabelle f f (logische Matrize).
20
N.
Logik  Hysteron-Proteron n n (ein logischer Beweisfehler; die Verwendung des zu Beweisenden im Beweis).
21
N., mit suru trans. V.
1 Beweis m m; Nachweis m m; Zeugnis n n; Bescheinigung f f; Bestätigung f f; Verifikation f f; Testierung f f; Attestierung f f.
2 Math., Logik Beweis m m.
3 Rechtsw. Beweis m m.
22
N.
1 Logik Intension f f; Konnotation f f; Begriffsinhalt m m; Sinn m m einer Aussage.
2 Anat. innere Kapsel f f; Großhirnhemisphärenkapsel f f; Capsula f f interna.
23
N.
Abk. für engl. eXclusive OR
Logik Exklusiv-Oder n n; XOR n n; exklusives Oder n n; ausschließendes Oder n n. || Kontravalenz f f; Antivalenz f f; ausschließende Disjunktion f f; Bisubtraktion f f; Kontrajunktion f f.
24
N.
Logik Deduktion f f. indakushonインダクション
25
N.
Logik Negativurteil n n; negatives Urteil n n. hitei·handan否定判断
26
N.
Logik Konversion f f.
27
N.
Logik Satz m m vom Widerspruch; Principium n n Contradictionis.
28
Logik disjunktiver Syllogismus m m.
29
Logik kategorischer Syllogismus m m.
30
N.
Logik Unterbegriff m m. jōi·gainen上位概念
31
N.
Logik hypothetischer Syllogismus m m.
32
N.
Logik Disjunktion f f; Oder-Operator m m.
33
N., mit suru intrans. V.
1 Ergebnis n n; Resultat n n; Schluss m m; Folge f f.
2 Philos., Logik Konsequenz f f.
3 Gramm. Apodosis f f; Nachsatz m m; bedingter Hauptsatz m m eines Konditionalsatzes.
34
N.
Logik Einzelbegriff m m; Begriff m m, der nur auf einen Fall anwendbar ist.
35
N.
Logik partikuläres Urteil n n.
36
N., mit suru intrans. od. trans. V.
Logik Hypothese f f; Annahme f f; Behauptung f f; Vermutung f f.
37
N.
Logik nichtmonotone Logik f f.
38
Logik ODER-Glied n n.
39
N.
Logik Extension f f; Denotation f f; Begriffsumfang m m. naihō内包
40
N., mit suru trans. V.
1 Implikation f f; Einbeziehung f f.
2 Logik Implikation f f; logische Wenn-dann-Beziehung f f.