「ã§ã€ã¿ã¡ã‚¢ã‚ã¯ã©ã†ã™ã‚‹ã®ï¼Ÿã€ - å«Œã„ã§ãªã„ãªã‚‰ã°å¥½ã？å‰å›žã®ç¶šãã§ã™ã€‚ãŠå‹‰å¼·blogã§ã™(笑) 真ç†å€¤è¡¨ã‚’å†æŽ²è¼‰ã—ã¾ã™ã€‚ p q pã§ãªã„ pã¾ãŸã¯q pã‹ã¤q pãªã‚‰ã°q ~p p∨q p∧q p⊃q (1) T T F T T T (2) T F F T F F (3) F T T T F T (4) F F T F F T ã•ã¦ã€å‰å›žæ‰±ã£ãŸã€Œãªã‚‰ã°ã€ãªã‚“ã§ã™ãŒã€å®Ÿã¯ã€Œï¼ˆpã§ãªã„）ã¾ãŸã¯ï¼ˆqã§ã‚る）ã€ã¨çœŸç†å€¤ã¯ä¸€ç·’ã§ã™ã€‚「~p∨qã€ã¨æ›¸ã‘ã¾ã™ã€‚上ã®çœŸç†å€¤è¡¨ã ã¨ã€ã¡ã‚‡ã†ã©ã€Œpã§ãªã„ã€ã¨ã€Œqã€ãŒéš£ã«ã‚ã‚‹ã®ã§ã€â€œã¾ãŸã¯æ¼”ç®—â€ã—ã¦ç¢ºã‹ã‚ã¦ã¿ã¦ãã ã•ã„。ã¤ã¾ã‚Šã€Œãªã‚‰ã°ã€ã®è«–ç†è¨˜å·ã¯ã»ã‚“ã¨ã¯å¿…è¦ãªã„ã¨ã„ã†ã‚ã‘ã§ã™ã€‚ã•ã‚‰ã«ã€ã€Œã‹ã¤ã€ã‚‚書ã“ã†ã¨æ€ãˆã°ã€Œ~(~p∨~q)ã€ã¨æ›¸ã‘ã¦ã—ã¾ã†ã‚ã‘ã§ã€çµå±€ã€è«–ç†å¦ã®åŸºæœ¬çš„ãªéƒ¨åˆ†ã¯2個ã®è«–ç†è¨˜å·ã€ã€Œ~　ã§ãªã„ã€ã€Œâˆ¨ã€€ã¾ãŸã¯ã€ãŒã‚ã‚Œã°è¶³ã‚Šã‚‹ã‚“ã§ã—ãŸã€‚ ãŒã€‚「ã¾ãŸã¯ã€ã‚‚「~(~p∧~q)ã€ã®ã‚ˆã†ã«ã€ã€Œã‹ã¤ã€ã‹ã‚‰å°Žãã ã›ã‚‹
{{#tags}}- {{label}}
{{/tags}}