Texts: The options are above for each one
[Select] b- -p b p
Select V A V
Select] bL -p b p
Consider the propositions
p: the programming language is object-oriented
q: the programming language has inheritance mechanisms
Translate the following expressions of the natural language into formulas:
(a) the programming language is not object-oriented and it does not have inheritance mechanisms
[Select] ~p ∧ ~q
[Select] b- -p b -q
[Select] bL -p b -q
(b) If a programming language has inheritance mechanisms, then it is object-oriented
[Select] q → p
[Select] b p b -q
[Select] b p bL -q
(c) The programming language is object-oriented if and only if it does not have inheritance mechanisms
[Select] p ↔ ~q
[Select] b p b -q
[Select] bL -p b -q
(d) The programming language is object-oriented or it does not have inheritance mechanisms
[Select] p ∨ ~q
[Select] b p V b -q
[Select] bL -p V b -q