Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
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 ...
David's user avatar
  • 11