PHIL1012 Introductory Logic
Problem Set 7
1. (4 marks) Using a tree, determine whether the following argument is valid. If the argument is not valid, read off from your tree (and indicate the path from which you are reading it off) a model in which the premises are true and the conclusion false.
∀y(Gy → F y)/∃y(F y ∧ Gy)
版权所有:编程辅导网 2021 All Rights Reserved 联系方式:QQ:99515681 微信:codinghelp 电子信箱:99515681@qq.com
免责声明:本站部分内容从网络整理而来,只供参考!如有版权问题可联系本站删除。