跳去內容

邏輯連接詞

出自維基百科,自由嘅百科全書

邏輯連接詞粵音:lo4 cap1 lin4 zip3 ci4;英文logical connectives)係一啲可以攞嚟連接唔同句子(例如陳述式)嘅符號,包括[1]

  • Neg
  • Or
  • And)... 呀噉。

呢啲符號喺邏輯學電腦科學研究上幾常用。

簡介

[編輯]
睇埋:命題邏輯

一條布林表達式會有若干個命題變數(數值可以係或者),變數之間會有邏輯連接詞連接住,形成一句「句子」,句嘢嘅真假值係有可能判斷嘅,例如以下呢幾句嘢噉[2]

公式 用日常用語講會係... 變數 連接詞
「A 同 B 都係真確嘅。」—如果 A 同 B 當中是但一個唔成立,呢條公式就係嘅。
「A 或者 B 係真確嘅。」—如果 A 同 B 當中是但一個成立,呢條公式就會係嘅。
「A 嘅邏輯非。」—如果 A 係,呢條公式就會係嘅,而如果 A 係,呢條公式就會係嘅。
「A 或者 B 係真」係真,同時「C 唔係真」。

例如想像返呢條式

如果「A 係真同時 C 係假」或者「B 係真同時 C 係假」,噉呢條式就會係

真值表

[編輯]
内文:真值表

真值表(T 係 F 係):

P Q ¬P PQ PQ PQ PQ
T T F T T T T
T F F F T F F
F T T F T T F
F F T F F T T

溫氏圖

[編輯]
睇埋:溫氏圖

邏輯連接詞嘅概念,仲可以用溫氏圖表達:

睇睇

[編輯]

引述

[編輯]
  1. Logical connective (PDF).
  2. Vizel, Y.; Weissenbacher, G.; Malik, S. (2015). "Boolean Satisfiability Solvers and Their Applications in Model Checking". Proceedings of the IEEE. 103 (11): 2021-2035.