|
|
quantifier
<logic> An operator in predicate logic specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
LaTeX \forall) and existentially quantified means "there
exists some value" (written with a reversed E, LaTeX
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.
Forall x . P(x) <=> not (Exists x . not P(x))
meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.
If a variable is not quantified then it is a free variable.
In logic programming this usually means that it is actually
universally quantified.
See also first order logic.
(2002-05-21)
Try this search on OneLook / Google
Nearby terms:
quality control « quality of service « Quality Systems & Software Ltd. « quantifier » Quantify » quantum » quantum bogodynamics
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Perfect Business FontsPerfect Business Fonts Over 350 Professional Fonts. Create professional looking documents using these high-quality business fonts. Works with your favorite applications including: Microsoft Word, Microsoft Powerpoint, Perfect Pro Office, Print Perfect and others. Windows 98/ME/2000/XP More ...
De-Branded Celeron 2.6GHz 256MB 40GB CDRW w/SndDe-Branded Celeron 2.6GHz 256MB 40GB CDRW w/Snd ** Celeron 2.6 GHz System **This bargain tower system is loaded with features! An IntelCeleron 2.6 GHz processor and 256 MB of RAM are included. ACDRW drive is included to access and burn media. Thestorage capacity is handled by the 40 GB hard drive. Audioand Ethernet are also included!General Features: - Intel Celeron 2.6 GHz processor - 256 MB RAM - 40 GB hard disk drive - CDRW drive (speeds may vary) - 1.44 MB floppy disk drive - Integrated 10/100 Ethernet controller - Audio controller included Package Includes: - De-branded refurbished system - Power cord - Keyboard - Mouse Notes: - Logos and model numbers have been removed - OS and documentation are NOT included - Device Drivers not included (Drivers may be difficult to find) - Pictures are for representational purposes only. - Actual item may vary slightly Compatibility/Requirements/Disclosures: ** Requirements *** OS and drivers* VGA monitor* Power outlet* Burning software** Disclosures *** Compaq Logos and model numbershave been removed * May not correspond to any particular Compaq model number * OS and documentation are NOT included * Device Drivers not included (Compaq Drivers may be difficult to find) * Pictures are for representational purposes only. * Actual item may vary slightly More ...
15-Inch TFT LCD Monitor w/Speakers (Beige/Silver)15-Inch TFT LCD Monitor w/Speakers (Beige/Silver) ** 15-Inch TFT LCD Monitor **This 15-Inch TFT LCD Monitor offers excellent viewing quality! It features built-in speakers and 1024 x 768 @ 75 Hz maximum resolutions. Other features include 350:1 contrast ratio, 250 cd/m2 brightness, and 13 ms (Tr)/25 ms (Tf) response time. This beige and silver color monitor offers a compact design that saves space at your home or office desk!General Features:- Beige and silver case- 15-inch TFT LCD display- 1024 x 768 @ 75 Hz maximum resolution- 350:1 contrast ratio - 13 ms (Tr)/25 ms (Tf) response time- 250 cd/m2 brightness- 31.5 to 60.2 kHz horizontal frequencies- 56.3 to 75 Hz vertical frequencies- -80 ~ +85 horizontal viewing angle- -65 ~ + 55 vertical viewing angle- Built-in speakers- Audio in and earphone jacks- On-Screen Display (OSD) controls- Built-in 15-pin VGA connectorPower Specifications:- Input rating: 12V DC, 4.2A Regulatory Approvals:- CEPackage Includes:- 15-Inch TFT LCD Monitor- Manual- AC adapter (100-240V, 50/60Hz, 1.5A max)- Power cord- Audio cableNotes:- LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of "dot defects" for LCD displays that we sell: - 15-inch: - Total Defects: 6 - Bright or Dark Dots (random): 3 - Bright or Dark Dots (2 adjacent): 1 - Bright or Dark Dots (3 adjacent): 0 - Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) Compatibility/Requirements/Disclosures: ** Requirements *** VGA adapter * Audio source with 3.5 mm stereo mini-jack output * Available power outlet ** Disclosures *** LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of "dot defects" for LCD displays that we sell:* 15-inch: * Total Defects: 6* Bright or Dark Dots (random): 3* Bright or Dark Dots (2 adjacent): 1* Bright or Dark Dots (3 adjacent): 0* Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) More ...
ClickArt Celebrations &Holidays 2ClickArt Celebrations &Holidays 2 Add the perfect touch to any celebration or event with images from the makers of the best-selling clip art software. With ClickArtCelebrations &Holidays 2, you'll get more than 11,000 high-quality images in dozens of categories. Windows 95/98/ME/NT/2000/XP More ...
8-Inch 15-pin Serial ATA to 4-pin Power Cable8-Inch 15-pin Serial ATA to 4-pin Power Cable ** 8-Inch 15-pin Serial ATA to 4-pin Power Cable **Connect this 4-pin Molex power supply connector to anySerial ATA (SATA) drive! This 8-inch cable has a large Female MOLEX connector on one end and a 15-pin Serial ATA connector on the other end!General Features- 8-inch cable- Power cable for Serial ATA device- 15-pin Serial ATA to 4-pin female MOLEX large connectorNotes:- Cable only Compatibility/Requirements/Disclosures: ** Requriements *** Available 4-pin power supply* Serial ATA (SATA) device More ...
32MB 72 Pin 8x36 Parity SIMM Module32MB 72 Pin 8x36 Parity SIMM Module ** 32MB 72 Pin 8x36 Parity SIMM **General Features:- 8 x 36- Parity- 72 pin- Tin or gold leadsCompatibility/Requirements/Disclosures:** Disclosures *** Picture is for representational purposes only More ...
|
