Question

Rozwiąż zadania z załącznika (logika) od zadania siódmego do dziewiątego.

Answer 1

Zad 1.9
a) ~p=>(p=>q)
Skoro koniunkcja jest fałszywa, zatem oba czynniki muszą się równać 0. Mamy:
~0=>(0=>0)
1=>1
Implikacja jest prawdziwa.
[Implikacja "p=>q" jest fałszywa wtw, gdy poprzednik "p" jest prawdziwy, a następnik "q" jest prawdziwy].
-----------------------------------------
b) (pv~q)=>~p
Równoważność jest prawdziwa wtw, gdy jej człony mają równą wartość (czyli dla p=q=1 lub p=q=0), koniunkcja musi być równa 0, czyli dla przypadku p=q=0. Należy w takim razie rozpatrzeć przypadek gdy obie wartości są fałszywe:
p=0, q=0
(0v~0)=>~0
(0v1)=>1
1=>1
Implikacja jest prawdziwa.

Answer 2

Rozwiązanie w załączniku.