kenneth h rosen chapter 1 excercise 1.4 predicates and quantifiers question 46
in Mathematical Logic
0 votes
0 votes
Exercises 46–49 establish rules for null quantification that
we can use when a quantified variable does not appear in part
of a statement.
46. Establish these logical equivalences, where x does not
occur as a free variable in A. Assume that the domain is
a) (∀xP (x)) ∨ A ≡ ∀x(P (x) ∨ A)
b) (∃xP (x)) ∨ A ≡ ∃x(P (x) ∨ A)

my doubt is what is exactly “A” in in this logical expressions
in Mathematical Logic
103 points

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.