QUESTIONÁRIO LOGICA UNIDADE 3 UNIP 2016

...

4. p ∨ q MP em 1 e 2

5. q SD em 3 e 4

- p → q, ~q, p ∨ r |— r

- p → q

- ~q

- p ∨ r

----------------------

4. ~p MT em 1 e 2

5. r SD em 3 e 4

- p ∨ q, p → r, ~r |— q ∨ s

- p ∨ q

- p → r

- ~r

----------------------

4. ~p MT em 2 e 3

5. q SD em 4 e 1

6. q ∨ s AD em 5

- t, t → ~q, ~q → ~s |— ~s

- t

- t → ~q

- ~q → ~s

----------------------

4. t → ~s SH em 2 e 3

5. ~s MP em 1 e 4

- ~a → b, b → c, ~c |— a

- ~a → b

- b → c

- ~c

----------------------

4. ~a → c SH em 1 e 2

5. ~~a MT 3 e 4

6. a Dupla negação em 5

- r → t, s → q, t ∨ q → ~p, r ∨ s |— ~p

- r → t

- s → q

- t ∨ q → ~p

- r ∨ s

----------------------

5. t ∨ q DC em 1, 2 e 4

6. ~p MP em 3 e 5

- p → ( q → r ), p → q, p |— r

- p → (q → r)

- p → q

- p

----------------------

4. q → r MP em 1 e 3

5. q MP em 2 e 3

6. r MP em 4 e 5

- p ∨ ~q, ~q → r, p → s, ~r |— s

- p ∨ ~q

- ~q → r

- p → s

- ~r

----------------------

5. ~~q MT em 2 e 4

6. q dupla negação em 5

7. p SD em 6 e 1

8. s MP em 7 e 3

- p → s, p ∧ q, s ∧ r → ~t, q → r |— ~t

- p → s

- p ∧ q

- s ∧ r → ~t

- q → r

----------------------

5. p SIM em 2

6. q SIM em 2

7. s MP em 5 e 1

8. r MP em 6 e 4

9. s ∧ r Conjunção em 7 e 8

10. ~t MP em 9 e 3

- p ∧ q, p ∨ r → s |— p ∧ s

- p ∧ q

- p ∨ r → s

----------------------

3. p SIM em 1

4. p ∨ r AD em 3

5. s MP em 2 e 4

6. p ∧ s CONJ em 3 e 5

- s ∧ q, t → ~q, ~t → r |— r ∨ ~s

- s ∧ q

- t → ~q

- ~t → r

----------------------

4. q SIM em 1

5. ~t MT em 4 e 2

6. r MP em 5 e 3

7. r ∨ s AD em 6

- p ∨ q → ( p → s ∧ t ), p ∧ r |— t ∨ u

- p ∨ q → ( p → s ∧ t )

- p ∧ r

----------------------

3. p SIM em 2

4. p ∨ q AD em 3

5. p → s ∧ t MP em 4 e 1

6. s ∧ t MP em 3 e 5

7. t SIM em 6

8. t ∨ u AD em 7