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 hợp logic hay phi logic? a ((( p q ) v (r q )) ^ ~ q ) (~p v ~ r ) (( p v q ) ^ q ) ~p ((( p q )^ (r q )) ^ ~ q) (~p ^ ~r ) ((( p q ) v (r q )) ^ q ) ( p v r ) (( p v q) ^ ~ q ) p ((( p q ) ^ (r q )) ^ ( p ^ r )) ~ q (((~ p q ) v (~ r q)) ^ ~ q) ( p v r) (((( 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 ) b c d e f g h 2 Xét xem công thức sau 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)) ...2 Xét xem công thức sau 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