Zapisz w postaci logicznej
ktoś: Zapisz w postaci logicznej:
Każdy dzielnik liczby nieparzystej jest liczbą nieparzystą
Mam to napisane tak:
∀x,y ∃k x=y*k ⋀ ∃d x=d+d+1 ⇒ ∃h y=h+h+1
Możliwe, że jest to kompletna bzdura :c
27 paź 11:49
Jerzy:
Dla każdego k ∊ C istnieja takie m,n ∊ C ,że: 2k + 1 = m*(2n +1)
( C − zb. l. czałkowitych )
27 paź 11:55
jc:
∀x,y ( y|x ∧ ~ 2|x ) ⇒ ~ 2|y
y|x oznacza, że ∃k x=ky
27 paź 12:43