最近开始自学逻辑，看到书上说因为p→q是个无效论证，而我思就是这样的论证，不是ta
utology，所以无效。
可是这样一大堆的论证都会变得无效欸，有办法改变这情况吗？譬如改写真值表的形式。
如果单纯p→q不能成立，那加入更多前提有没有用?
p我思，q我在
(p˙(~q→~p))→q
(打不出在中间的点点，会变问号，所以用别的代替“且”的符号)
我思考，而且我不存在则我无法思考，所以我存在。
这样就算解决笛卡儿的论证无效的问题了吗？
还是我这样会变成循环论证?
有没有逻辑高手可以救救我?

五楼鸡鸡被凤梨和苹果组合成凤梨鸡鸡苹果

很多哲学系就是因为玩这个玩到脑袋坏掉