reproof

n : an expression of criticism and censure; "he had to take the

rebuke with a smile on his face" [syn: {rebuke}, {reproval},

{reprehension}, {reprimand}]

v : censure severely or angrily; "The mother scolded the child

for entering the stranger's car"; "The deputy ragged the

Prime Minister"; "The customer dressed down the waiter

for bringing cold soup"; "check" is archaic [syn: {rebuke},

{check}, {rag}, {lecture}, {reprimand}, {jaw}, {dress

down}, {scold}, {chide}, {berate}, {bawl out}, {remonstrate},

{chew out}, {chew up}, {have words}, {lambaste}, {lambast}]

proof

1. A {finite} sequence of {well-formed formula}s, F1,

F2, ... Fn, where each Fi either is an {axiom}, or follows by

some rule of inference from some of the previous F's, and Fn

is the statement being proved.

See also {proof theory}.

2. A left-associative {natural language} {parser} by Craig

R. Latta . Ported to {Decstation

3100}, {Sun-4}.

{(ftp://scam.berkeley.edu/pub/src/local/proof/)}

E-mail: . Mailing list:

proof-requestf◊xcf.berkeley.edu (Subject: add me).

(1994-11-29)