Show that the PL sentence vJvTvxJxKx is contingentSolutionLe

Show that the PL sentence (v)(JvTv)(x)(JxKx) is contingent

Solution

Let whole sentence be I

Let universe of discourse be [ sam ,tom, mary, alia ]

and variables be : s, t, m , a

then,

I(s) : Sam, I(t) : Tom. I(m) :Mary , I(a):alia

I(Jv) : v is a neithermale nor female [sam ,tom]

I(Tv) : v is a neithermale nor female [sam, tom]

I(kx) : x is a female [mary, alia]

therefore whole sentence is

there exist someone who if isneithermale nor female then all people who if are neithermale nor female are also female.

obviously this sentence is true for some , but not for all .

hence contigency