Bài tập môn logic học

Slide 1 1 Các công thức suy luận sau đây hợp logic hay phi logic? ((( p  q ) v (r  q )) ~ q )  (~p v ~ r ) (( p v q ) q )  ~p c ((( p  q ) (r  q )) ~ q)  (~p ~r ) d ((( p  q ) v (r .bài tập

1 Các công thức suy luận sau đây hợp logic hay phi logic?

a ((( p  q ) v (r  q )) ^ ~ q )  (~p v ~ r )

b (( p v q ) ^ q )  ~p

c ((( p  q )^ (r  q )) ^ ~ q)  (~p ^ ~r )

d ((( p  q ) v (r  q )) ^ q )  ( p v r )

e (( p v q) ^ ~ q )  p

f ((( p  q ) ^ (r  q )) ^ ( p ^ r ))  ~ q

g (((~ p  q ) v (~ r  q)) ^ ~ q)  ( p v r)

h (((( p ^ q )  r )^ ( r  t ))  (( p ^ q )

 t)

i ((( p  ~q ) ^ (r  q )) ^ ( p v r ))  q

j (((~ p  q ) v (~ r  q)) ^ ~ q)  (~ p v ~ r )

2 Xét xem các công thức sau đây là quy luật hay mâu thuẫn logic?

a) (~p  ~q)  (q  p)

b) (p  q)  (~(q  r)  ~(r  p))

c) (p  ((p  ~q)  r)  ((p  ~q)  ~r))  q

d) (p  (q  r))  ((p  q)  (p  r))

e) (p  (q  r))  ((p  q)  (p  r))

g) (p  (q  r))  (~((p  q)  (p  ~r)))

h) (~p  q)  ((p  ~q)  ~p)

k) ~(p  q)  ((~p  ~q)  ~p)

l) (p  r)  ((r  q)  ~(~p  ~q))

m) (p  (~p  r))  (~r  (p  r))

n) (~p  (~q  ~s  r))  ((q  ~r  s)  p)

o) ((p  (r  q  s))  (p  (~r  ~q)))  s

p) p  (q  (p  q))

q) (p  (~p  r))  (~r  (p  r))

r) (((~ p  q ) v (~ r q)) ^ ~ q)  ( p ^ r )

s) (((~p  r)  (q  s))  ~q)  p

t) (p  (r  ~q))  (r  ( p  ~q))

v) ((p  q)  r)  (r  (~p  ~q))