Spojnik lub cotyniepowiesz98: Jeśli mam zdanie, że 7|a lub 7|b to przypadek, iż 7 podzieli dwie liczby (a i b) także jest prawdziwy?

Adamm: pytasz czy 7|a ∨ 7|b ⇒ 7|a ∧ 7|b ?

cotyniepowiesz98: Hm, chyba tak. Choć nie wiem czy te wynikanie nie jest tutaj za mocne.

jc: Każdy wspólny dzielnik, dzieli największy wspólny dzielnik. To twierdzenie lub fragment definicji (w zależności od tego, jak zdefiniujemy największy wspólny dzielnik).

cotyniepowiesz98: Wszystkie możliwe przypadki to: 7 nie dzieli a i 7 dzieli b 7 dzieli a i 7 nie dzieli b 7 dzieli a i 7 dzieli b Tak? Skoro mam lub to ma dzielić przynajmniej jedno, zgadza się?

jc: Niestarannie przeczytałem. (7|a lub 7|b) ⇒ (7|a i 7|b) Czasem tak, czasem nie. Np 7|7 lub 7|3, ale nie jest prawdą, że 7|7 i 7|3.

jc: Tak, jak piszesz. A lub B oznacza, że przynajmniej jedno ze zdań: A, B, jest prawdziwe.

cotyniepowiesz98: Dziękuję bardzo!