Wahrheitswert

14. Juli 2010 – 09:38:23.000000

In der zweiwertigen Aussagenlogik gibt es nur bei beiden Wahrheitswerte w (wahr) oder f (falsch). In der dreiweretigen Logik gibt es einen mittleren Wahrheitswert “unbestimmt” oder “teils ja – teils nein.”

By mathegenius | Posted in Mathematische Begriffe mit W | Comments (0)

Quantor

10. Juni 2010 – 14:30:03.000000

In der Aussagenlogik gibt es einen Allquantor und einen Existenzquantor:

By Matheman | Posted in Mathematische Begriffe mit Q | Comments (0)

Oder

20. Mai 2010 – 13:01:01.000000

In der Aussagenlogik ist “oder” eine der drei Hauptverknüpfungen. Es gilt: Die Aussage “A oder B” ist nur dann falsch, wenn A und B falsch sind. Ist A oder B wahr, so bleibt die Aussage wahr.

By Matheman | Posted in Mathematische Begriffe mit O | Comments (0)

NOR

20. Mai 2010 – 09:56:33.000000

In der Aussagenlogik kann man mit der NOR-Junktor allen anderen Junktoren: ˅, ˄, ¬ darstellen. Es gilt: Der Wort NOR ist eine Verkürzung von “NOT OR”.

By Matheman | Posted in Mathematische Begriffe mit N | Comments (0)

Negation

20. Mai 2010 – 09:31:25.000000

Die Negation ist die Verneinung. In der Aussagenlogik gilt als Symbol “¬” mit folgender Wertetafel: Die Negation ist eine einstellige Verknüpfung.

By Matheman | Posted in Mathematische Begriffe mit N | Comments (0)

Junktion

8. April 2010 – 17:46:05.000000

In der Ausssagenlogik bezeichnet man die Negation und die zweistelligen Verknüpfungen als Junktion. Die Symbole für die Junktionen heissen Junktoren. In der Aussagenlogik gibt es neben dem einstelligen Junktor ¬ (Negation) die zweistelligen Junktoren  , die mit den Worten (‘und’, ‘oder’, ‘wenn …dann’, ‘genau dann wenn’) umschrieben werden. Daneben gibt es die beiden Verknüpfungen NAND [...]

By Matheman | Posted in Mathematische Begriffe mit J | Comments (0)

Implikation

8. April 2010 – 16:33:14.000000

In der (zweiwertigen) Aussagenlogik sind Implikation und Subjunktion gleichbedeutend. A -> B ist nur dann falsch, wenn A wahr(w) ist und B falsch(f), wie die Tabellenübersicht zeigt: A B A → B W W W W F F F W W F f W

By Matheman | Posted in Mathematische Begriffe mit I | Comments (0)

Hinreichende Bedingung

31. März 2010 – 17:22:33.000000

In der Aussagenlogik bedeutet A -> B (“wenn A dann B” oder “aus A folgt B”), dass A eine hinreichende Bedingung für B ist.

By mathegenius | Posted in Mathematische Begriffe mit H | Comments (0)

de Morgan-Regeln

8. März 2010 – 15:40:49.000000

Die de Morgan-Regel kann auf die Mengenalgebra, die Aussagenalgebra und auf die Aussagenlogik angewandt werden. Sie bezieht sich auf das Komplement und deren Verknüpfung.

By Matheman | Posted in Mathematische Begriffe mit D | Comments (0)