Matematik - Logik, göra predikat till proposition mha kvantifierare
Har följande predikat som ska skrivas som en proposition med kvantifierare:
X>0^x=y
Det jag skrev är följande:
Tack för hjälpen!
Ska propositionen vara sann?
Ja det ska den, glömde skriva det
Det är den ju däremot inte. Menar du att den är det?
Uppgiften är att glra predikatet till en sann proposition, vi har inget facit så jag vet inte om jag gjort rätt... antar att det jag skrev var fel... men jag förstår inte varför och vad det rätta svaret skulle vara
Kan du lägga in en bild av uppgiften?
Tips: Det gäller inte för alla y, men det finns y för vilka det gäller ...
Sight skrev:Uppgiften är att glra predikatet till en sann proposition, vi har inget facit så jag vet inte om jag gjort rätt... antar att det jag skrev var fel... men jag förstår inte varför och vad det rätta svaret skulle vara
Din proposition säger att det finns ett x så att det som står sedan gäller. Kan du säga ett x för vilket det gäller?
Smaragdalena skrev:Kan du lägga in en bild av uppgiften?
På föregående sida står det endast att de tillhör Domänen R, vilket jag skrev fel på i min första infogade bild. Uppgiften i fråga är P3