拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录

用归谬赋值归谬法法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式.

拍照搜题秒出答案，一键查看所有搜题记录

先看（ ┑ s→ （ p→ （ q → ┑ r ））为假,则┑ s为真且（ p→ （ q → ┑ r ））为假.则s为假,且p为真且（ q → ┑ r ）为假,则q 为真且┑ r 为假,则为真.至此,得到 s为假,p,q,r都为真可推出 p∧q∧r为真且S为假,可得（ p∧q∧r →s ）为假.与前面的假设矛盾.
因为格式的原因,用真值表很不方便,这样写应该也能看明白.

用归谬赋值归谬法法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式.

先看（ ┑ s→ （ p→ （ q → ┑ r ））为假,则┑ s为真且（ p→ （ q → ┑ r ））为假.则s为假,且p为真且（ q → ┑ r ）为假,则q 为真且┑ r 为假,则为真.至此,得到 s为假,p,q,r都为真可推出 p∧q∧r为真且S为假,可得（ p∧q∧r →s ）为假.与前面的假设矛盾.
因为格式的原因,用真值表很不方便,这样写应该也能看明白.

拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录

先用人工语言将下面的推理形式化,然后用归谬赋值归谬法法判定其是否正确
如果地球绕日公转（p）而不自转（非q）,则地球上就没有白天和黑夜（非r）；然而地球上有白天和黑夜（r）；所以,地球或者不公转（非p）,或者既公转又自转.
请你写出这个推理式（4分）,并用你学过的知识判断其是否有效（6分）

拍照搜题秒出答案，一键查看所有搜题记录