logiczny logiczny: Zapisz poniższe zdania w postaci formuł rachunku zdań i zbadaj, czy tworzą one zbiór niesprzeczny. "Jeśli x jest liczbą parzystą, to x nie jest liczbą dodatnią. x nie jest liczbą złożoną wtedy i tylko wtedy, gdy x jest liczbą dodatnią. x jest liczbą złożoną lub x jest parzystą. p − x jest liczbą parzystą q − x jest liczbą dodatnią r − x jest liczbą złożoną p → ¬q, ¬r ⇔ q, r v p I jak na podstawie tego ustalić czy zbiór jest nie sprzeczny ? Bo wiem, że można na podstawie tabelki,ale kiedy zbiór jest niesprzeczny wtedy ? Wiem, że można jeszcze coś podstawić np pod W(p) i to liczyć. Mógłby ktoś wyjaśnić te sposoby ? Byłbym wdzięczny. Dzięki.

logiczny: ?

logiczny: ?

logiczny: ?

logiczny: ?