First-order logic
id:
first-order-logic-183-11930980
title:
First-order logic
text:
First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables. Rather than propositions such as "all men are mortal", in first-order logic one can have expressions in the form "for all x, if x is a man, then x is mortal"; where "for all x" is a
brand slug:
wiki
category slug:
encyclopedia
description:
Type of logical system
original url:
https://en.wikipedia.org/wiki/First-order_logic
date created:
2001-08-15T19:35:57Z
date modified:
2024-09-07T05:46:53Z
main entity:
{"identifier":"Q4055684","url":"https://www.wikidata.org/entity/Q4055684"}
image:
fields total:
13
integrity:
15