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 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: