Question

Zadanie 1.3 z załącznika oraz wytłumaczenie jak robić takie zadania

Answer 1

(a) Jeśli 10<4 to 21<22 :
~p => q

(b) Jeżeli figura A jest czworokątem i A ma wszystkie kąty równe to z faktu, że A jest czworokątem wynika, że A ma wszystkie kąty równe:
 (p i q) => (p => q) 

(c) Jeśli liczba a dzieli sie przez 3 i dzieli sie przez 5 to z faktu ze a nie dzieli sie przez 3 wynika ze a nie dzieli sie przez 5:
(p i q) => (~p => ~q) 

(d) Jeśli Jan nie zna logiki, to jeśli jan zna logikę to jan ma siostrę o imieniu Kunegunda:
~p => (p => q)

a - P/F(tzw. dont carry - stan nieokreslony), b - Fałsz , c - Fałsz , d - Prawda