logic_01_s

<HTML>

<HEAD>

<META NAME=GENERATOR CONTENT="AKAI's Tegaki">

<META HTTP-EQUIV="Content-Type" CONTENT="text/html;CHARSET=x-sjis">

<TITLE>論理結合子</TITLE>

</HEAD>

<BODY>

<H3>5つの論理結合子</H3>

<hr>

<p>

論理結合子としては，以下の5つを用いる．p，qはそれぞれ命題を表わす．

</p>

<ol>

<li>否定：～　～p「pではない」

<li>連言：∧　p∧q「pかつq」

<li>選言：∨　p∨q「pまたはq」

<li>条件：⊃　p⊃q「pならばqである」

<li>双条件：≡　p≡q「pとqは等値」「pならばqであり，かつ，qならばpである」

</ol>

<table border=1>

<tr>

<td>p</td><td>q</td><td>～p</td><td>p∧q</td><td>p∨q</td><td>p⊃q</td><td>p≡q</td>

</tr>

<tr align="center">

<td>1</td><td>1</td><td>0</td><td>1</td><td>1</td><td>1</td><td>1</td>

</tr>

<tr align="center">

<td>1</td><td>0</td><td>0</td><td>0</td><td>1</td><td>0</td><td>0</td>

</tr>

<tr align="center">

<td>0</td><td>1</td><td>1</td><td>0</td><td>1</td><td>1</td><td>0</td>

</tr>

<tr align="center">

<td>0</td><td>0</td><td>1</td><td>0</td><td>0</td><td>1</td><td>1</td>

</tr>

</table>

</BODY>

</HTML>