kenneth h rosen chapter 1 excercise 1.4 predicates and quantifiers question 46
in Mathematical Logic
42 views
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
nonempty.
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
by
103 points
42 views

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.