https://i.imgur.com/BoU3RuM.jpg
https://i.imgur.com/arDcjkS.jpg
https://i.imgur.com/dHOelgD.jpg
想请问像这种逻辑等价的问题
答案是否会唯一
因为我算出来的值都跟答案相反
但是一样可以证明箭头的左边与右边皆true
麻烦各位解惑
感恩

你右边证出F->F 不够 证明若p则q 是要确认p T则 q T也就是解答上(1)在说的事情应该说你右边确认的不是->关系

题干是说 假设那三个前提是true的话 则结论是true 结论是 not(q)->s 要证明这个命题是true 也可以由命题本身的前提 也就是not(q) 假设它为true 则 s为 true (directproof) 前面的三个假设是用来确认 s为true的 你要用s为false也行 但你要透过前面三个假设去确定 not(q) 是false 不是一开始就在结论本身就推导他是false