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) N="left">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 - (2926 Reads) |
