Not logged in. · Lost password · Register

pawe
Member since Oct 2014
11 posts
Subject: Folie 502
Hi,

auf der Folie 502 steht bei NablaE: If ~(forall X. A) elem ..... . Müsste das nicht eigentlich ~(forall X. ~A) heißen?

Danke für eine Antwort!
Jazzpirate
Member since Oct 2016
803 posts
Nachdem A für eine beliebige Formel steht kannst du dir gerne, wenn du möchtest, die/eine Negation als Teil der Formel A ansehen. Lauf aber nicht Gefahr zu denken, dass A dann immer eine negierte Formel sein müsste ;)

Die Intuition ist folgende: Wenn ich weiß, dass ~(forall X. A) gilt, also nicht ALLE elemente A erfüllen, dann gibt es also mindestens ein Element c, das A nicht erfüllt - und somit ~A erfüllt. Also muss die Erweiterung mit ~A[c/X] konsistent sein.
This post was edited on 2017-01-22, 08:46 by Jazzpirate.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen