set-5
201. ______ may be either true or false but not other value.
202. ______ is the type of the proposition.
203. ______ are formed from atomic formulas using the logical connectives not, or, if...then, and, if and only if etc.
204. Identify the examples of proposition and state which proposition is this.
205. Identify the examples of propositions and state which proposition is this.
206. Which is used to construct the complex sentences?
207. ______ is the logical operator.
208. Consider, the proposition P, Identify which logical connectives is this? -P (read "not P")
209. Consider, P and Q be the propositions, Identify which logical connectives is this? PAQ (read "P and Q")
210. Consider, P and Q be the propositions, Identify which logical connectives is this? PVQ (read "P or Q")
211. Consider, P and Q be the propositions, Identify which statement is true for this relation. P→Q (read "P implies Q")
212. Consider, P and Q be the propositions, Identify which logical operator is this? P@Q
213. Suppose, P and Q be the propositions. In ______ statement P→Q, P is called hypothesis (premise or antecedent) and Q is called conclusion or consequence.
214. The conditional statement of P→Q is
215. To form the ______ of the conditional statement, interchange the hypothesis and the conclusion. The ______ of "If it rains, then they cancel hiking" is "If they cancel hiking, then it rains."
216. To form the ______ of the conditional statement, take the negation of both the hypothesis and the conclusion. The ______ of "If it rains, then they cancel hiking" is "If it does not rain, then they do not cancel hiking."
217. To form the ______ of the conditional statement, interchange the hypothesis and the conclusion of the inverse statement. The ______ of "If it rains, then they cancel hiking" is "If they do not cancel hiking, then it does not rain."
218. Let P and Q be Propositions, In ______ statement P←→Q, the proposition is "if P and only if Q"
219. The conditional statement of P←→Q is
220. A proposition that is always true is called a ______
221. A proposition that is always false is called a ______
222. A proposition is called a ______, if that proposition is neither a tautology nor a contradiction.
223. Every complete "sentence" contains two parts: a ______ and a ______
224. Consider an example and identify the predicate.
225. A ______ is a property that a variable or a finite collection of variables can have.
226. P, P^Q, P \rightarrow Q, \neg Q etc. These are the examples of ______
227. A language element which generates a quantification (such as "every") is called a ______
228. Two types of quantifiers, which are called the ______ and the ______ quantifiers, can quantify the open statements p(x) and q(x,y).
229. The ______ quantifier (means "for some x", "for at least one x", or "there exists an x such that"); "for some x, p(x)" is denoted as "∃x, p(x)".
230. The ______ quantifier (means "for all x", "for any x", "for each x", or "for every x"): "for all x, all y" is denoted by "∀x ∀y".
231. The ______ of propositional logic provide the means to perform logical proofs or deductions.
232. ______ are the types of inference rules.
233. If P and P \rightarrow Q are both true, we can infer that Q will be true as well in ______
234. If P \rightarrow Q is true and \neg Q is true, then \neg P will also true in ______
235. If P \rightarrow R is true whenever P \rightarrow Q is true, and Q \rightarrow R is true in ______
236. If PVQ is true, and \neg P is true, then Q will be true in ______
237. If P is true, then PVQ will be true in ______
238. If PA Q is true, then Q or P will also be true in ______
239. If PVQ and \neg PAR is true, then QVR will also be true in ______
240. ______ is a process of making two different logical atomic expressions identical by finding a substitution.
241. Which is also called single inference rule?
242. FOPL was developed to extend the expressiveness of ______.
243. Consider the following logic and state if this is valid or not.
244. First Order Predicate Logic (FOPL) is also known as ______.
245. In FOPL, constants, variables and functions are known as ______.
246. In FOPL, predicates are referred to as atomic formulas or ______.
247. In FOPL, when we want to refer to an atom, or its negation we often use the word ______.
248. Translate English to FOPL: Khusboo likes Pizza.
249. Translate English to FOPL: Khusboo owns iPhone_14pro.
250. Translate English to FOPL: Charlie is Dog.
Last updated