a
logika: Zapisz poniższe zdania w postaci formuł rachunku zdań i zbadaj, czy tworzą one zbiór
niesprzeczny.
a) Jeśli x jest liczbą dodatnią, to x jest liczbą parzystą. Jeśli x nie jest liczbą parzystą,
to x nie
jest liczbą wymierną lub x jest liczbą dodatnią. x jest liczbą wymierną.
a − x jest liczba dodatnia
b − x jest liczba parzysta
c − x jest liczba wymierna
(a → b, ¬b → (¬c v a)
dobrze ? Nie bardzo wiem po co na końcu zadania jest,że x jest liczbą wymierną. Mam to jakoś
wykorzystać ?
16 lis 15:20
logika: ?
16 lis 15:57
logika: ?
16 lis 16:11
logika: ?
16 lis 16:29
logika: ?
16 lis 17:35