Theory of Computer Science (Automata, Languages and Computation) Third Edition
Just as we form new sentences from the given sentences using words like
'and', 'but', 'if', we can get new propositions from the given propositions
using 'connectives'. But a new sentence obtained from the given propositions
using connectives will be a proposition only when the new sentence has a truth
value either T or F (but not both). The truth value of the new sentence
depends on the (logical) connectives used and the truth value of the given
دانلود