5.6两道题答案是不是错了，感觉不对?求形式逻辑学大佬帮助
这两题答案确实错了。
第5题，必然P和必然非P是反对关系，二者不可同真，但可以同假（一个假，另一个真假不定）。因此同时否定必然P和必然非P不违反逻辑规律。正确选项是D。
第6题，可能P和可能非P是下反对关系，二者不能同假（一个假，另一个必真），但可以同真。对二者同时加以否定，违反排中律。正确选项是C。
求高智商的大神帮忙解一下这道逻辑题
老鼠个数=5×5×5×5×5=3125
小猫个数=5×5×5×5=625
大猫个数=5×5×5=125
袋子个数=5×5=25
人个数=5+1=6（假设车夫不在7个人里，且车夫没背袋）
总腿数=3125×4+625×4+125×4+6×2=15512
如果完全不考虑车夫的话，就是15510
求高人帮忙解 逻辑学的题目啊，特急。谢谢哦
3、综合题：某案件有四名嫌疑犯。法庭调查后确认：
（1）A是罪犯或B不是罪犯。
（2）如果B不是罪犯，那么C也不是罪犯。
（3）只有C是罪犯，D才不是罪犯。
（4）A不是罪犯。
请问：根据法庭以上确认，可推知谁是罪犯？（要有推导过程)
（4）A不是罪犯 所以 （1）B不是罪犯 所以 （2）C也不是罪犯 所以 （3）D是罪犯
结论 D是罪犯
逻辑学问题，求高手帮忙，谢谢！
符号说明：“~”表示否定，“-->”表示蕴含（也就是“若…则…”），“<-->”表示双蕴含（即“当且仅当”）
将【下雨】记为p, 【去】记为q；
“若下雨就不去”：p-->~q
“若去了，则一定没下雨”：q-->~p
整句话“若下雨就不去 ，当且仅当若去了，则一定没下雨”：(p-->~q)<-->(q-->~p)
然后就可以画真值表了（真值表有不同画法。下面这种画法较为节省，整个命题的最终真值落在它的主联接词那一列——就本题来说，是双蕴含联接词那一列），其中“1”代表真，"0"代表假。
要记住各种真值联接词是怎样把不同的真值组合映射到某个真值的，你才能看懂下面的真值表。就本题来说，你只需知道，否定联接词“~”把0变成1，把1变成0；蕴含词联接词把二元组(1,0)变成0，把其他三种二元组——(1,1),(0,1),(0,0)——变成1；双蕴含联接词把(1,1)和(0,0)变成1，把(1,0)和(0,1)变成0。
如图（之所以用四个表，是为了展示整个推导过程）。
注意到主联接词那一列全部为1，可见这是个重言式