Introduction to Mathematical Linguistics |
From inside the book
28 pages matching propositional function in this book
Where's the rest of this book?
Results 1-3 of 28
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
More Complex Propositions | 22 |
Arguments | 34 |
The Predicate Calculus | 51 |
Copyright | |
13 other sections not shown
Other editions - View all
Common terms and phrases
accepted alphabet argument form automaton axiom axiomatic system calculus Chomsky computation conditional proof configuration connex contains context-free defined denoted derivation deterministic domain of discourse dominates elementary propositions equivalence classes equivalence relation example expression f f f f t f false finite automata finite number finite set formal given grammar G identity element infinite set input string input tape instantiation intersection inverse irreflexive isomorphism linguistic logically equivalent mathematical monoid natural language negation nondeterministic nonterminal symbol notation null set occurrences one-to-one correspondence operation ordered pairs partially ordered partition positive integers precedes predicate premises properties propositional function prove quantifier recursive definition reflexive regular sets semi-Thue system sentence sequence set of strings set theory specified symbolic logic symmetric tautology terminal string terminal symbols Theorem transformational grammar transitive tree true truth table truth value Turing machine type 3 grammar type 3 languages valid variable Venn diagram