kwantyfikatory negacja
juliasd: ∀x∊R [x≥1 ⇒ /x/ >3 ]
∀A >0 ∃n0∀n (n>n0 ⇒ an >A)
14 paź 19:00
juliasd: podaj negacje zdań
14 paź 19:02
wredulus_pospolitus:
co to jest /x/
14 paź 19:20
wredulus_pospolitus:
∃x∊R [ x≥ 1 ∧ /x/ ≤ 3]
14 paź 19:21
wredulus_pospolitus:
∃A>0 ∃n0 ∀n [n > n0 ∧ an ≤ A}
14 paź 19:23
juliasd: /x/ wartość bezwzględna
dłaczego jest x≥ 1 w 1 i w 3 [n > n0 ∧ an ≤ A}?
14 paź 19:27
wredulus_pospolitus:
to zapisuje się jako |x| a nie /x/
nie rozumiem Twojego pytania
14 paź 19:43
juliasd: może tak dlaczego da łaś właśnie takie znaki? np w 1 bo ja myślałam ze bedzie znnak x≤1
14 paź 20:02
wredulus_pospolitus:
bo zaprzeczenie implikacji p => q jest p ∧ (~q)
kłania się logika i rachunek zdań
14 paź 20:28