#1
|
|||
|
|||
µÃáÈÒʵÃì
$¡Ó˹´ãËé (¹Ôàʸp\rightarrow q)\leftrightarrow q$ ÁÕ¤èÒ¤ÇÒÁ¨ÃÔ§à»ç¹à·ç¨
$ 1. p\wedge ¹Ôàʸ q ÁÕ¤èÒ¤ÇÒÁ¨ÃÔ§à»ç¹¨ÃÔ§$ $p\rightarrow q ÁÕ¤èÒ¤ÇÒÁ¨ÃÔ§à»ç¹à·ç¨$ ¼Á¤Ô´áÅéÇÁѹäÁèµÃ§à©Å ËÒÇèÒ¢éÍ1,2¨ÃÔ§ËÃ×Íà·ç¨¤ÃѺ |
#2
|
||||
|
||||
$$(\sim p \rightarrow q) \leftrightarrow q$$
$$(p\bigvee q) \leftrightarrow q\equiv F$$ $[q\equiv T]\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$ $([q\equiv F]\bigwedge [p\equiv T])\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$ $\therefore q\equiv F,p\equiv T$ |
#3
|
|||
|
|||
¼Á¡ç§§à©Å¼ÁºÍ¡¼Ô´·Ñ駤Ùè
|
|
|