离散数学问题:A→B,乛(B∨C)推出乛A

2025-03-21 12:21:47
推荐回答(2个)
回答1:

前提2 ¬(B∨C)⇒¬B∧¬C⇒¬B
前提1 A→B
⇒¬A

回答2:

乛(B∨C)
<=> 乛B^乛C
=>乛B

A→B
<=>乛B→乛A

乛B,乛B→乛A =>乛A

<=>是等价
=>是蕴含