Search results for mathematical-logic

54 votes
6 answers
43
Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or ...
43 votes
8 answers
45
33 votes
8 answers
57
The binary operation $\Box$ is defined as follows$$\begin{array}{|c|c|c|} \hline \textbf{P} & \textbf{Q} & \textbf{P} \Box \textbf{Q}\\\hline \text{T} & \text{T}& \text{T...
37 votes
6 answers
60
Consider the statement "Not all that glitters is gold”Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ is gold. Which one of the ...