podać wartość logiczną niematematyk: ∃_n∊N (6|n³−n ⋀ 9|10ⁿ−1) Proszę o pomoc bo zupełnie nie wiem jak to zrobić

ICSP: 1

Janek191: n³ − n = n*(n² −1) = ( n −1)*n*(n +1) − dzieli się przez 6 dla n ∊ ℕ Również 10ⁿ − 1 dzieli się przez 9 dla dowolnego n ∊ ℕ więc ta koniunkcja jest prawdziwa.

ICSP: Wystarczy zauważyć, że koniunkcja jest spełniona dla n = 1, zatem zdanie jest prawdzie i ma wartość logiczną 1.

niematematyk: dziękuję