論理的なコネクティブの一般的な例と、そのシンボルと意味を以下に示します。
1。接続詞(および):
* シンボル: ∧
* 意味: "そして"
* 真実表:
| p | Q | p∧q |
| --- | --- | ------- |
| t | t | t |
| t | f | f |
| f | t | f |
| f | f | f |
* 例: 「太陽は輝いていますと 空は青です。」
2。分離(または):
* シンボル: ∨
* 意味: "または"
* 真実表:
| p | Q | p∨q |
| --- | --- | ------- |
| t | t | t |
| t | f | t |
| f | t | t |
| f | f | f |
* 例: 「私は朝食を食べますまたは コーヒーを飲みます。」
3。否定(NOT):
* シンボル: ¬
* 意味: "ない"
* 真実表:
| p | ¬p|
| --- | --- |
| t | f |
| f | t |
* 例: 「ではありません 雨。」
4。条件付き(if ... then):
* シンボル: →
* 意味: 「もし...それでは」
* 真実表:
| p | Q | p→q |
| --- | --- | ------- |
| t | t | t |
| t | f | f |
| f | t | t |
| f | f | t |
* 例: " if あなたは一生懸命勉強します、それから 試験に合格します。」
5。二項(場合の場合のみ):
* シンボル: ↔
* 意味: 「もしそうなら」
* 真実表:
| p | Q | p↔q |
| --- | --- | ------- |
| t | t | t |
| t | f | f |
| f | t | f |
| f | f | t |
* 例: 「パーティーに行くことができますの場合のみ あなたは18歳以上です。」
これらは、最も一般的な論理コネクティブのほんの一部です。 Shefferストローク(NAND)やPeirce Arrow(NOR)など、高度なロジックで使用される他のあまり一般的ではないコネクティブがあります。
