Wieviel «Gleichberechtigung» verträgt das Land?

Archiv 2 - 21.05.2006 - 25.10.2012

233.682 Postings in 30.704 Threads

[Homepage] - [Archiv 1] - [Archiv 2] - [Forum]

Logisch falsche Ableitung

Isegrim, Wednesday, 15.02.2012, 20:30 (vor 5059 Tagen) @ Dummerjan

Die Umformung muss lauten:
Wulff:nicht(für alle x A(x)->B(x))
<-> nicht(nicht (für alle x A(x) oder B(x)) wegen A->B<-> nicht A oder B

Die erste Umformung ist mir schon unklar.
beachte:
nicht (für alle x gilt [...]) <-> es gibt ein x für das gilt (nicht [...])


gesamter Thread:

 

powered by my little forum