Truth Values, Satisfiability and Semantic Consequences
Assignment of Truth Values
==>Question. If SL is finite and
consists of n sentence letters, how many assignment of truth
values are there? What if SL is countably infinite?
Truth Value
of A Sentence under An Assignment
==>Problem. Show
that we get the standard truth conditions for conjunction, disjunction
and the bi-conditional, if we define them in terms of negation
and the conditional as usual.
The Semantic Consequence Relation:
Some Properties of Semantic Consequence
The Semantic Consequence Relation:
Some Properties of Semantic Consequence