Review Note
Last Update: 02/06/2024 12:07 PM
Current Deck: Logik und Berechenbarkeit::Prädikatenlogik
Published
Fields:
Vorderseite
Wie wird eine Negation nach innen getrieben?
Rückseite
a) De Morgansche Regel:
not(H1 v H2) gdw. notH1 ∧ notH2
not(H1 ∧ H2) gdw. notH1 v notH2
b) Negation vor Quantoren
not∀ x H gdw. ∃ x notH
not∃ x H gdw. ∀ x not H
not(H1 v H2) gdw. notH1 ∧ notH2
not(H1 ∧ H2) gdw. notH1 v notH2
b) Negation vor Quantoren
not∀ x H gdw. ∃ x notH
not∃ x H gdw. ∀ x not H
Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: