Logika ktoś: Napisz matematyczne formuły odnoszące się do danych zdań: Liczba x jest kwadratem liczby pierwszej: ∃_p [(∀_n∊N n|p ⇒ n=p v n=1) ⋀ ~(p=1)] ⇒ x = p*p X jest największym parzystym dzielnikiem n: ∀_y ( ∃_k y=2k ⋀ y|n ) ⇒ y<x Dobrze?

ktoś: Bump

Basia: w (1) zamiast ⇒ powinno być ∧ dokładniej ∃_p { [ ..............] ∧ x=p*p } w (2) musisz jeszcze zagwarantować parzystość x ∃_k∊Z x=2k ∧ [ to co napisałeś ⇒ y≤x]

ktoś: Dzięki

ktoś: Mam pytanie tylko. Czemu w (1) zamiast ⇒ powinno być ∧ , a w (2) już nie, mimo że ich treść brzmi podobnie.

ktoś: podbijam