Formulieren Sie die folgenden Aussagen als Formeln in Prädikatenlogik

Question

a) Wenn ein Vogel nicht fliegen kann, dann können nicht alle Vögel fliegen.b) Was Donald Ervin Knuth nicht kann, kann keiner.c) John mag jeden, der älter als 22 Jahre und der niemanden mag, der jünger als 22 Jahre ist.

Answer 1

f(V) heißt    Vogel kann fliegen, dann ist es wohl so:

∃ V   ¬ f(V)    ⇒    ¬ ∀ V  f(V) 

meintest du so etwas. ?

Comments

∃ V   ¬ f(V)    ⇒   ¬ ∀ V  f(V)