先将下列题翻译成符号公式，然后检验其论证是否正确.在老师的生日那天，我送给她一束花.或者这是老师的生日，或者我工作迟了.今天我未送花给老师.————————————————因此我今天工作迟了.
设[tex=0.857x1.0]3dL6VJHKHZnugLK8MQRDDg==[/tex]：这天是老师生日，[tex=0.857x1.214]ChdusW5rAupjge6v/DGHRA==[/tex]：我送老师一束花，[tex=0.786x1.0]59uVln8a2zRyv0n5hgPyQg==[/tex]：我工作迟了.则有[tex=2.5x1.214]Q29ySw8EG/r0vHipu0vHXHu+CEjRcLq9uexmwyBWsyw=[/tex]，[tex=2.286x1.0]4Lmh8KfREpYlLbK9b82YPA==[/tex]，[tex=1.5x1.214]KXIVWy61mXNMvcSyoQuUYw==[/tex]作为条件来推理：①[tex=1.5x1.214]tBG2grZBIcdljWVwzbYBYw==[/tex]，[tex=5.143x1.214]6HOy09cd5W3dtH6vJDgvJpW7GSB1FZSXJaAOIHElZQLjJzCNH92poAVbTD8Wqtj4[/tex]，②[tex=2.071x1.0]+KWAZxn7+gC86LqcVEhqpg==[/tex]，[tex=3.286x1.0]GzfE4lociPCxQG0Andn51g==[/tex]（[tex=0.786x1.0]K1/XWzOhtHGAb7kJAVBomw==[/tex]为结论）.本题结论正确.
举一反三
- 先将下列题翻译成符号公式，然后检验其论证是否正确.如果我工作，那我不能学习.或者我工作，或者我考数学.我工作过了.————————————因此我参加了数学考试.
- 先将下列题翻译成符号公式，然后检验其论证是否正确.如果我工作，那我不能学习.或者我工作，或者我考数学.我通过了数学考试.————————————因此我学习过了.
- 先将下面各题翻译成符号公式,然后检验其论证是否正确.如果我工作,那我不能学习.或者我工作,或者我考数学.我工作过了.[input=type:blank,size:10][/input]因此我参加了数学考试.
- 先将下面各题翻译成符号公式,然后检验其论证是否正确.如果我工作,那我不能学习.或者我工作,或者我考数学.我通过了数学考试.[input=type:blank,size:10][/input]因此我学习过了.
- 用蕴涵推理讨论下列题.我夫人过生日，我送一束鲜花给她,除非我工作很忙.今天我没有送鲜花给夫人，今天是夫人的生日，由此是否可推得“今天我工作很忙”.
内容
- 0
证明下面各题:我夫人过生日,我送一束鲜花给她,除非我工作很忙.今天我没有送鲜花给夫人,今天是夫人的生日,由此是否可推得“今天我工作很忙”.
- 1
先将下列题翻译成符号公式，然后检验其论证是否正确.如果我学习，那我考试不会失败.如果我不踢足球，那我将学习.我考试失败了.————————————因此我踢了足球.
- 2
先将下面各题翻译成符号公式,然后检验其论证是否正确.如果我学习,那我考试不会失败.如果我不踢足球,那我将学习.我考试失败了.[input=type:blank,size:10][/input]因此我踢了足球
- 3
今天我去老师办公室,我记得我进去的时候说“报告”了,我问我们老师要了一份卷子
- 4
我A介绍B，这是C我的老师，这是D我妹妹。（一下儿） A: 我（一下儿）介绍，这是我的老师，这是我妹妹。 B: 我介绍（一下儿），这是我的老师，这是我妹妹。 C: 我介绍，这是（一下儿）我的老师，这是我妹妹。 D: 我介绍，这是我的老师，这是（一下儿）我妹妹。