Tutorial 23 The Semantics of Relations: Alternative exercises.
You should now Launch Deriver and do the 1 exercise of Predicate Exercise 13 (Predex13).
Exercise to accompany Predicate Tutorial 13.
Show the Interpretation Panel
This requires some setting up. The Interpretation in Predex13 shows an Interpretation similar to this
and it certainly would be useful if your running Deriver also displayed this same Interpretation.
There are a few workarounds to achieve the desired end:
- if you have downloaded all the exercises, and you are running Predex13, you will automatically get this
- if you click on Predex13.zip that will download Predex 13 on its own which (after unzipping) you can open in Deriver (also to give this)
- you can draw something similar for yourself in Deriver (a useful exercise)
- you can ask Deriver to make a drawing for you by selecting and copying all of the following, then invoking Do Command from Deriver's Action Menu
- make drawing (<oca> <vma> <ocp> <vpx> <i>281</i> </v> <vpy> <i>145</i> </v> <vpbr> <ocr> <i>281</i> <i>145</i> <i>118</i> <i>84</i> </o> </v> <vpc> <occ> <i>255</i> <i>0</i> <i>0</i> <i>255</i> </o> </v> <vpn> <c>G</c> </v> <vps> <b>false</b> </v> </o> </v> <vma> <ocp> <vpx> <i>81</i> </v> <vpy> <i>140</i> </v> <vpbr> <ocr> <i>81</i> <i>140</i> <i>103</i> <i>67</i> </o> </v> <vpn> <c>F</c> </v> <vps> <b>false</b> </v> </o> </v> <vma> <oci> <vpx> <i>315</i> </v> <vpy> <i>174</i> </v> <vpn> <c>b</c> </v> <vps> <b>false</b> </v> </o> </v> <vma> <oci> <vpx> <i>107</i> </v> <vpy> <i>169</i> </v> <vpn> <c>a</c> </v> <vps> <b>false</b> </v> </o> </v> <vma> <ocb> <vpbr> <ocr> <i>5</i> <i>0</i> <i>150</i> <i>70</i> </o> </v> <vpss> <ocs/> </v> </o> </v> <vma> <ocre> <vpx> <i>115</i> </v> <vpy> <i>176</i> </v> <vpbr> <ocr> <i>115</i> <i>176</i> <i>207</i> <i>8</i> </o> </v> <vpf> <ocpo> <i>115</i> <i>176</i> </o> </v> <vpn> <c>R</c> </v> <vps> <b>false</b> </v> <vpt> <ocpo> <i>322</i> <i>184</i> </o> </v> </o> </v> <vma> <ocre> <vpx> <i>116</i> </v> <vpy> <i>172</i> </v> <vpbr> <ocr> <i>116</i> <i>172</i> <i>209</i> <i>4</i> </o> </v> <vpf> <ocpo> <i>325</i> <i>176</i> </o> </v> <vpn> <c>R</c> </v> <vps> <b>false</b> </v> <vpt> <ocpo> <i>116</i> <i>172</i> </o> </v> </o> </v> <vma> <ocre> <vpx> <i>112</i> </v> <vpy> <i>175</i> </v> <vpbr> <ocr> <i>112</i> <i>175</i> <i>2</i> <i>1</i> </o> </v> <vpf> <ocpo> <i>112</i> <i>175</i> </o> </v> <vpn> <c>S</c> </v> <vps> <b>false</b> </v> <vpt> <ocpo> <i>114</i> <i>176</i> </o> </v> </o> </v> <vma> <ocre> <vpx> <i>322</i> </v> <vpy> <i>178</i> </v> <vpbr> <ocr> <i>322</i> <i>178</i> <i>2</i> <i>3</i> </o> </v> <vpf> <ocpo> <i>324</i> <i>181</i> </o> </v> <vpn> <c>S</c> </v> <vps> <b>false</b> </v> <vpt> <ocpo> <i>322</i> <i>178</i> </o> </v> </o> </v> </o> )
Exercise 1(of 1)
Which of the following formulas are true in the Interpretation? (You can
check by selecting them and clicking True?)
a) Rab
b) Rab∧Rba
c) Raa
d) Raa∨Saa
e) (∃y)Ray
f) (∃y)Ryb
g) (∃y)Ryy
h) (∃y)Syy
i) (∀y)Syy
j) (∀x)(∃y)Rxy
k) (∀x)(Fx⊃(∃y)Rxy)