Metody wnioskowania Matematyka Dyskretna: Stosujac sylogizm alternatywy udowodnij prawdziwosc zdania:"Suma dwoch liczb calkowitych parzystych jest liczba parzysta" Sylogizm alternatywny ma nastepujaca postac [(p∨q) ∧ ~p] ⇒ q nie za bardzo wiem jak sie za to zabrac Na pewno moge sobie oznaczyc ze a,b∊Z i to bedzie przeslanka

taka jest ta logika (: [(p∨q) ∧ ~p] ⇒ q p − suma dwóch liczb całkowitych jest liczbą nieparzystą q − suma dwóch liczb całkowitych jest liczbą parzystą Suma dwóch liczb całkowitych jest albo liczbą nieparzystą albo parzystą. Ale liczbą nieparzystą nie jest. −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− Ta suma jest liczbą parzystą.