Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Mates, Benson
 
Bücher bei Amazon
Verallgemeinerung I 173
Verallgemeinerung/Theoreme/Schreibweise/Terminologie/Logik/Mates: Bsp (x)(y) Fxy <> (y)(x)Fx: verallgemeinert: II- ∧a∧a'φ <> ∧a'∧aφ.
Bsp (Ex)(Ey) Fxy <> (Ey)(Ex) Fxy : II- VaVa'φ <> Va'Vaφ
Bsp (x)(P ∧ Fx) <> (P ∧ (x)Fx): II- ∧a(φ ∧ ψ) <> (φ ∧ ∧aψ) wenn a in φ nicht frei vorkommt.
Bsp (x)(Ey)(Fx ∧ Gy) <> ((x)Fx ∧ (Ey)Gy): II- ∧aVa' (φ u ψ) <> (∧aφ ∧ Va'ψ) wenn a in ψ nicht frei und wenn a' in φ nicht frei vorkommt.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Gegenargumente gegen Mates
> Gegenargumente zu Verallgemeinerung



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.03.2017