命題の真理値表を作る¬q [（pΛq）V〜p]？

回答：

下記参照。

与えられた： #p - > （p ^^ q）vv〜p#

論理演算子：# "pではない：" pではない、〜p; "and：" ^^;または：vv#

論理テーブル、否定：

#ul（| "" p | "" q | ""〜p | ""〜q |）#ul

# "" T | "" T | "" F | "" F |#

# "" T | "" F | "" F | "" T |#

# "" F | "" T | "" T | "" F |#

# "" F | "" F | "" T | "" T |#

論理テーブル、および/または：

#ul（| "" p | "" q | "" p ^^ q "" | "" qvvq "" |）#ul

#| "" T | "" T | "" T "" | "" T "" |#

#| "" T | "" F | "" F "" | "" T "" |#

#| "" F | "" T | "" F "" | "" T "" |#

#| "" F | "" F | "" F "" | "" F "" |#

その場合、論理テーブル

#ul（| "" p | "" q | "" p-> q "" |）#ul

#| "" T | "" T | "" T "" |#

#| "" T | "" F | "" F "" |#

#| "" F | "" T | "" T "" |#

#| "" F | "" F | "" T "" |#

論理命題パート1を考えると：

#ul（| "" p ^^ q "" | ""〜p "" | ""（p ^^ q）vv〜p |）#

#| "" T "" | "" F "" | "" T "" |#

#| "" F "" | "" F "" | "" F "" |#

#| "" F "" | "" T "" | "" T "" |#

論理命題パート2を考えると：

#ul（| ""〜q "" | ""（p ^^ q）vv〜p | ""〜q - >（p ^^ q）vv〜p |）#

#| "" F "" | "" T "" | "" T "" |#

#| "" T "" | "" F "" | "" F "" |#

#| "" F "" | "" T "" | "" T "" |#

#| "" T "" | "" T "" | "" T "" |#