deductive tableau
A theorem proof system consisting of a table whose rows contain assertions or goals. Variables in assertions are implicitly universally quantified and variables in goals are implicitly existentially quantified. The declarative meaning of a tableau is that if every instance of every assertion is true then some instance of at least one of the goals is true. (1994-12-07) In addition suitable contents:
[ 2 ] [ ai ] [ al ] [ an ] [ ar ] [ as ] [ assertion ] [ at ] [ au ] [ b ] [ ci ] [ cl ] [ co ] [ con ] [ cons ] [ de ] [ dec ] [ ec ] [ ed ] [ er ] [ es ] [ fi ] [ goal ] [ h ] [ hat ] [ hose ] [ ie ] [ in ] [ instance ] [ io ] [ is ] [ it ] [ la ] [ li ] [ ls ] [ ly ] [ mp ] [ nc ] [ ne ] [ ng ] [ ni ] [ ns ] [ om ] [ pl ] [ pr ] [ proof ] [ re ] [ ro ] [ row ] [ ru ] [ sa ] [ se ] [ si ] [ so ] [ st ] [ sy ] [ system ] [ T ] [ table ] [ th ] [ to ] [ tool ] [ tr ] [ ua ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ ws ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (2862 Reads) |
