在逻辑学中，推导过程是指从一个或多个前提推出结论的思维过程。写推导过程时，需要清晰地呈现推理的每一步，包括前提、推理规则和结论。首先，明确写出所有的前提，确保它们没有歧义；然后，根据推理规则，从前提中选出必要的信息，推导出结论；最后，对整个推导过程进行总结，确保结论是正确的。在书写推导过程时，使用符号或公式来表示逻辑关系，可以使推导过程更加简洁明了。
甲乙丙三人同时参加高考，结果一个人考中了，老师让他们猜谁考中了，甲回答乙考上了，乙回答丙考上了，丙推测，我没考上。老师说只有一人猜错，问谁猜错了。乙考上了=p丙考上了=q丙没考上=r命题q与r是矛盾关系，必有一假，所以，甲说真话，乙考上了2.某地有两个奇怪的村庄A和B,A村庄在星期一，三，五说假话，其他日子说真话。B村庄人星期二，四，六说假话，其他日子说真话，一天外地的小张来到那里，遇到两个村庄的人分别问他们是星期几，两个均说前天是我说慌的日子，小张推测是星期几如果今天是星期天，那么A、B说的会不同所以，今天不是星期天根据真值表，可知：一、三、五；
二、四、六真伪性相同所以，今天是星期一，前天是星期六3.某公安局的刑侦员A,B,C,D,对某案的嫌疑犯李，赵做了如下断定，A说我认为赵不是凶犯，B说如果李是凶犯，赵就不是凶犯。C说或者李是凶犯或者赵是凶犯，D说我看李和赵都是凶犯。只有一个是错误的，凶犯是谁。
命题B与命题D是矛盾关系，必有一假，所以，命题A、C为真，故：赵不是凶犯，李是凶犯。
