What people are saying - Write a review
We haven't found any reviews in the usual places.
Higher Predicate Calculus
Sentential Calculus and Axiomatization
1 other sections not shown
adverb allophones apply semantic equivalence argument belongs brother called clause combined compound proposition concept conjunction connective corresponds to sentence deduced direct object distinct double-negation elements English eqsem equivalence 11 estado expression f V f factors following formula following Spanish formal logic gave the book German imperfective aspect implication inclusion inclusive disjunction Japanese lexeme libro logical constant logical disjunction logical function logical negation logical subject logical sum Maria Mary mathematical linguistics meaning modus tollens natural language nomen actionis noun occur ordinary language p a q p v q passive voice phoneme Pottier predicate calculus Predicate F principle of tertium quantification reflexive relation A relation replaced rules seito sensei sentential calculus sentential formulae sentential logic Spanish sentence statement subclass symbols syntactic syntax term tertium non datur transformed truth table value true variables verb verdad que Juan verschwistert voiced/voiceless vowel watashi word yarimashita