kenneth h rosen chapter 1 excercise 1.4 predicated and quantifiers question 19
in Mathematical Logic
0 votes
0 votes

Suppose that the domain of the propositional function
P (x) consists of the integers 1, 2, 3, 4, and 5. Express
these statements without using quantifiers, instead using
only negations, disjunctions, and conjunctions.

  1. ∀x((x = 3) → P (x)) ∨ ∃x¬P (x)

so i write like this see image

so my doubt is how above solution is written in simply way 

how he writes this answer → P(l) /\ P(2) /\ P(4) /\ P(5)) V (•P(l) v-.P(2) v-.P(3) V •P(4) V •P(5)) there is no P(3) inside this equation

please help 



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.