All Questions
1 question
1
vote
0
answers
29
views
Semantics- predicate calculus and quantifiers
I have a sentence of "No A is B" (No child is sad)
I been given 2 formulas:
¬∃x[C(x) ⋀ S(x)]
∀x[C(x) →¬ S(x)]
I needed to show that they are the same by deriving the truth conditions.
I got ...
- 11