Question: I ONLY NEED 6 . 1 b and 6 . 1 h please, thanks Exercise 6 . 1 For each of the following wffs ,
I ONLY NEED b and h please, thanks
Exercise For each of the following wffs give a countermodel for every system in which it is not valid, and give a semantic validity proof for every system in which it is valid. When you use a single countermodel or validity proof for multiple systems, indicate which systems it is good for.
adiamonddiamonddiamondR
b diamonddiamondQdiamond
c
ediamondQ
f
h diamonddiamondP
i
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
