Bardzo prosze o wasza pomoc w tym zadaniu, abym mogla zaliczyc ten przedmiot.
tresc zadania;

W oparciu o klasyczny rachunek zdań opuść nawiasy tylko wtedy gdy nie zmieni to sensu schematu.

1. p v ~ (q v r)

2. ~ (p → (p^s))

3. p ^ (r → q)

4. ~ (p) v q

Proszę o umieszczanie całego zadania, a nie jedynie wyniku .

1

Odpowiedzi

2010-01-21T20:22:07+01:00
W 2) można opuścić nawias, wtedy zapiszemy
⁻ (p -> p ∧ s)
W 4) też można opuścić nawias, wtedy zapiszemy
⁻ p ∨q
∧ - jest mocniejszy od ->
W 4) nawias nie jest potrzebny,Byłby potrzebny w przypadku
⁻ ( p ∨ q)