1012:
32:
41:
107:
835:
1007:{\displaystyle {\ce {H-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-H}}}
1254:
Formulas used in science almost always require a choice of units. Formulas are used to express relationships between various quantities, such as temperature, mass, or charge in physics; supply, profit, or demand in economics; or a wide range of other quantities in other disciplines.
1110:, these proportions begin with a key element and then assign numbers of atoms of the other elements in the compound—as ratios to the key element. For molecular compounds, these ratio numbers can always be expressed as whole numbers. For example, the empirical formula of
309:
are expressed as single letters instead of words or phrases. This convention, while less important in a relatively simple formula, means that mathematicians can more quickly manipulate formulas which are larger and more complex. Mathematical formulas are often
325:
In a general context, formulas often represent mathematical models of real world phenomena, and as such can be used to provide solutions (or approximate solutions) to real world problems, with some being more general than others. For example, the formula
1122:
O, because the molecules of ethanol all contain two carbon atoms, six hydrogen atoms, and one oxygen atom. Some types of ionic compounds, however, cannot be written as empirical formulas which contains only the whole numbers. An example is
688:
296:
1324:
527:
473:
438:
356:
751:
731:
711:
577:
1166:
O. Except for the very simple substances, molecular chemical formulas generally lack needed structural information, and might even be ambiguous in occasions.
160:
1647:
1604:
1571:
115:
127:
1744:
1353:
1278:
1138:, chemical formulas often employ ways to suggest the structure of the molecule. There are several types of these formulas, including
1674:
1500:
301:
Having obtained this result, the volume of any sphere can be computed as long as its radius is known. Here, notice that the volume
1631:
1766:
1246:
is, by convention, omitted because the result is always stored in the cell itself, making the stating of the name redundant.
1190:
1259:
1433:
1146:. A molecular formula enumerates the number of atoms to reflect those in the molecule, so that the molecular formula for
1771:
1189:, such as addition, to be performed on one or more variables. A formula is often implicitly provided in the form of a
1596:
1263:
362:
187:
403:, where as formulas denote a statement about mathematical objects. This is analogous to natural language, where a
1453:
1394:
381:, may be created to solve a particular problem. In all cases, however, formulas form the basis for calculations.
252:
246:
for example), mathematicians have produced a formula to describe the volume of a sphere in terms of its radius:
396:
384:
207:
20:
791:, and sometimes other symbols, such as parentheses, brackets, and plus (+) and minus (−) signs. For example, H
1666:
1458:
1238:
refer to other cells (column A, row 1 or 2) within the spreadsheet. This is a shortcut for the "paper" form
211:
1428:
408:
392:
388:
319:
1384:
315:
235:
215:
1291:
494:, depending on the values that are given to the variables occurring in the expressions. For example
1619:
1404:
559:
400:
365:, and is applicable to a wide range of physical situations. Other formulas, such as the use of the
1492:
1480:
1334:
1170:
1018:
554:
542:
311:
497:
443:
1740:
1670:
1643:
1600:
1567:
1521:
1496:
1379:
1143:
1139:
1107:
780:
568:
227:
111:
1466:
1635:
1096:
1092:
784:
772:
762:
479:
179:
148:
31:
1423:
1100:
825:
564:
414:
332:
175:
119:
683:{\displaystyle \forall x\forall y(P(f(x))\rightarrow \neg (P(x)\rightarrow Q(f(y),x,z)))}
1389:
1369:
1213:
736:
716:
696:
374:
40:
1760:
1627:
1488:
1124:
490:
484:
1026:. There are three common non-pictorial types of chemical formulas for this molecule:
106:
1447:
1374:
1131:
is a variable non-whole number ratio, with n ranging from over 4 to more than 6.5.
1711:
1686:
1209:
1186:
1173:
is a drawing that shows the location of each atom, and which atoms it binds to.
404:
199:
153:
1639:
1357:
1282:
370:
123:
1592:
1544:
1182:
768:
563:) is an entity constructed using the symbols and formation rules of a given
239:
89:
1516:
1135:
804:
800:
366:
231:
203:
387:
are distinct from formulas in the sense that they don't usually contain
1399:
1267:
1147:
1111:
788:
135:
1023:
808:
243:
223:
219:
50:
1661:
Atkins, P.W., Overton, T., Rourke, J., Weller, M. and
Armstrong, F.
1103:, and indicates the proportionate number of atoms of each element.
821:
796:
105:
142:
is a concise way of expressing information symbolically, as in a
776:
482:, formulas are viewed as expressions that can be evaluated to
378:
1212:
software, a formula indicating how to compute the value of a
1134:
When the chemical compound of the formula consists of simple
775:
is a way of expressing information about the proportions of
161:
general construct of a relationship between given quantities
478:
However, in some areas mathematics, and in particular in
1432:. (E.W. Dijkstra Archive, Center for American History,
1162:
rather than the glucose empirical formula, which is CH
1294:
982:
974:
944:
936:
906:
898:
868:
860:
838:
739:
719:
699:
580:
500:
446:
417:
335:
255:
1517:"Why do mathematicians use single letter variables?"
824:
molecule consisting of three oxygen atoms and a net
1737:
CRC Handbook of
Chemistry and Physics, 94th Edition
1446:
1318:
1006:
745:
725:
705:
682:
521:
467:
432:
350:
290:
238:. However, having done this once in terms of some
16:Concise way of expressing information symbolically
214:to another, with the most important ones being
8:
1624:A Concise Introduction to Mathematical Logic
1266:, it is a probability equation relating the
537:is given a value less than 1, and the value
1258:An example of a formula used in science is
1429:A first exploration of effective reasoning
291:{\displaystyle V={\frac {4}{3}}\pi r^{3}.}
130:, a formula is worth a thousand pictures."
1566:. San Francisco, CA: Dover Publications.
1293:
995:
987:
969:
962:
957:
949:
931:
924:
919:
911:
893:
886:
881:
873:
855:
848:
843:
839:
837:
738:
718:
698:
579:
499:
445:
416:
334:
279:
262:
254:
122:at the blackboard during a conference at
1416:
128:A picture may be worth a thousand words
110:One of the most influential figures of
1663:Shriver and Atkins inorganic chemistry
62:is given by the mathematical formula
7:
1467:participating institution membership
557:, a formula (often referred to as a
202:, a formula generally refers to an
126:in 1994. In Dijkstra's own words, "
1185:, a formula typically describes a
981:
968:
943:
930:
905:
892:
867:
854:
783:, using a single line of chemical
620:
587:
581:
14:
1735:Haynes, William M., ed. (2013) .
407:refers to an object, and a whole
226:requires a significant amount of
1273:of an ideal gas to the quantity
92:, which has chemical formula (CH
39:
30:
1632:Springer Science+Business Media
1545:"List of Mathematical formulas"
411:refers to a fact. For example,
218:. For example, determining the
88:. On the right is the compound
1319:{\displaystyle S=k\cdot \ln W}
988:
970:
950:
932:
912:
894:
874:
856:
795:O is the chemical formula for
733:a unary predicate symbol, and
677:
674:
671:
656:
650:
644:
638:
635:
629:
623:
617:
614:
611:
605:
599:
593:
399:(<). Expressions denote a
1:
1434:University of Texas at Austin
779:that constitute a particular
178:) or, under the influence of
1095:identifies each constituent
753:a ternary predicate symbol.
713:is a unary function symbol,
693:is a formula, provided that
1260:Boltzmann's entropy formula
1788:
1597:Cambridge University Press
1356:consistent with the given
1264:statistical thermodynamics
760:
522:{\displaystyle 8x-5\geq 3}
468:{\displaystyle 8x-5\geq 3}
152:. The informal use of the
18:
1739:. Boca Raton: CRC Press.
1640:10.1007/978-1-4419-1221-3
1454:Oxford English Dictionary
1395:Symbol (chemical element)
1281:corresponding to a given
1277:, which is the number of
159:in science refers to the
1716:pubchem.ncbi.nlm.nih.gov
1589:Logic for Mathematicians
1587:Hamilton, A. G. (1988),
440:is an expression, while
176:English plural noun form
21:Formula (disambiguation)
1667:Oxford University Press
1459:Oxford University Press
1065:semi-structural formula
799:, specifying that each
212:mathematical expression
1522:math.stackexchange.com
1485:History of Mathematics
1320:
1220:, could be written as
1008:
811:(O) atom. Similarly, O
747:
727:
707:
684:
523:
469:
434:
352:
292:
174:(from the most common
131:
1767:Mathematical notation
1385:Mathematical notation
1321:
1127:, whose formula of CB
1009:
748:
728:
708:
685:
549:In mathematical logic
524:
470:
435:
375:movement of the tides
353:
293:
216:mathematical theorems
109:
1665:(4th edition) 2006 (
1620:Rautenberg, Wolfgang
1564:Set Theory and Logic
1292:
1191:computer instruction
836:
737:
717:
697:
578:
498:
444:
433:{\displaystyle 8x-5}
415:
361:is an expression of
351:{\displaystyle F=ma}
333:
253:
236:method of exhaustion
144:mathematical formula
19:For other uses, see
1457:(Online ed.).
1405:Well-formed formula
560:well-formed formula
401:mathematical object
363:Newton's second law
116:founding generation
1772:Elementary algebra
1691:www.chm.bris.ac.uk
1525:. 28 February 2011
1493:Dover Publications
1335:Boltzmann constant
1316:
1202:Degrees Fahrenheit
1171:structural formula
1144:condensed formulas
1140:molecular formulas
1108:empirical formulas
1019:structural formula
1004:
986:
980:
978:
948:
942:
940:
910:
904:
902:
872:
866:
864:
807:(H) atoms and one
743:
723:
703:
680:
567:. For example, in
555:mathematical logic
543:Boolean expression
519:
465:
430:
348:
288:
132:
1687:"Ozone Chemistry"
1649:978-1-4419-1220-6
1606:978-0-521-36865-0
1573:978-0-486-63829-4
1562:Stoll, Robert R.
1551:. 24 August 2018.
1465:(Subscription or
1380:Law (mathematics)
1352:is the number of
1061:condensed formula
1046:molecular formula
1032:empirical formula
1002:
993:
992:
985:
979:
977:
967:
964:
955:
954:
947:
941:
939:
929:
926:
917:
916:
909:
903:
901:
891:
888:
879:
878:
871:
865:
863:
853:
850:
842:
781:chemical compound
757:Chemical formulas
746:{\displaystyle Q}
726:{\displaystyle P}
706:{\displaystyle f}
569:first-order logic
270:
228:integral calculus
112:computing science
49:On the left is a
1779:
1751:
1750:
1732:
1726:
1725:
1723:
1722:
1707:
1701:
1700:
1698:
1697:
1683:
1677:
1659:
1653:
1652:
1626:(3rd ed.),
1616:
1610:
1609:
1591:(2nd ed.),
1584:
1578:
1577:
1559:
1553:
1552:
1541:
1535:
1534:
1532:
1530:
1513:
1507:
1506:
1477:
1471:
1470:
1462:
1450:
1443:
1437:
1421:
1347:
1345:
1342:
1325:
1323:
1322:
1317:
1114:may be written C
1093:chemical formula
1013:
1011:
1010:
1005:
1003:
1000:
999:
994:
991:
983:
975:
973:
965:
963:
961:
956:
953:
945:
937:
935:
927:
925:
923:
918:
915:
907:
899:
897:
889:
887:
885:
880:
877:
869:
861:
859:
851:
849:
847:
840:
819:
818:
803:consists of two
773:chemical formula
769:modern chemistry
763:Chemical formula
752:
750:
749:
744:
732:
730:
729:
724:
712:
710:
709:
704:
689:
687:
686:
681:
565:logical language
541:otherwise. (See
536:
529:takes the value
528:
526:
525:
520:
480:computer algebra
474:
472:
471:
466:
439:
437:
436:
431:
357:
355:
354:
349:
297:
295:
294:
289:
284:
283:
271:
263:
180:scientific Latin
149:chemical formula
87:
82:
80:
79:
76:
73:
61:
60:
43:
34:
1787:
1786:
1782:
1781:
1780:
1778:
1777:
1776:
1757:
1756:
1755:
1754:
1747:
1734:
1733:
1729:
1720:
1718:
1709:
1708:
1704:
1695:
1693:
1685:
1684:
1680:
1660:
1656:
1650:
1618:
1617:
1613:
1607:
1586:
1585:
1581:
1574:
1561:
1560:
1556:
1549:andlearning.org
1543:
1542:
1538:
1528:
1526:
1515:
1514:
1510:
1503:
1481:Smith, David E.
1479:
1478:
1474:
1464:
1445:
1444:
1440:
1422:
1418:
1413:
1366:
1343:
1340:
1338:
1290:
1289:
1252:
1198:Degrees Celsius
1179:
1165:
1161:
1157:
1153:
1130:
1121:
1117:
1101:chemical symbol
1089:
1088:
1087:
1086:
1082:
1078:
1074:
1070:
1055:
1051:
1041:
1037:
1014:
834:
833:
826:negative charge
817:
814:
813:
812:
794:
785:element symbols
765:
759:
735:
734:
715:
714:
695:
694:
576:
575:
551:
534:
496:
495:
442:
441:
413:
412:
331:
330:
305:and the radius
275:
251:
250:
196:
120:Edsger Dijkstra
104:
103:
102:
101:
99:
95:
77:
74:
71:
70:
68:
63:
58:
54:
53:, whose volume
46:
45:
44:
36:
35:
24:
17:
12:
11:
5:
1785:
1783:
1775:
1774:
1769:
1759:
1758:
1753:
1752:
1746:978-1466571143
1745:
1727:
1702:
1678:
1654:
1648:
1611:
1605:
1579:
1572:
1554:
1536:
1508:
1501:
1472:
1438:
1424:Dijkstra, E.W.
1415:
1414:
1412:
1409:
1408:
1407:
1402:
1397:
1392:
1390:Scientific law
1387:
1382:
1377:
1372:
1370:Formula editor
1365:
1362:
1327:
1326:
1315:
1312:
1309:
1306:
1303:
1300:
1297:
1251:
1248:
1228:
1227:
1206:
1205:
1178:
1175:
1163:
1159:
1155:
1151:
1128:
1119:
1115:
1085:
1084:
1080:
1076:
1072:
1068:
1057:
1053:
1049:
1042:
1039:
1035:
1027:
1015:
998:
990:
972:
960:
952:
934:
922:
914:
896:
884:
876:
858:
846:
832:
831:
830:
815:
792:
761:Main article:
758:
755:
742:
722:
702:
691:
690:
679:
676:
673:
670:
667:
664:
661:
658:
655:
652:
649:
646:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
613:
610:
607:
604:
601:
598:
595:
592:
589:
586:
583:
550:
547:
518:
515:
512:
509:
506:
503:
475:is a formula.
464:
461:
458:
455:
452:
449:
429:
426:
423:
420:
359:
358:
347:
344:
341:
338:
299:
298:
287:
282:
278:
274:
269:
266:
261:
258:
234:analogue, the
195:
194:In mathematics
192:
188:original Latin
170:can be either
166:The plural of
97:
93:
48:
47:
38:
37:
29:
28:
27:
26:
25:
15:
13:
10:
9:
6:
4:
3:
2:
1784:
1773:
1770:
1768:
1765:
1764:
1762:
1748:
1742:
1738:
1731:
1728:
1717:
1713:
1706:
1703:
1692:
1688:
1682:
1679:
1676:
1675:0-19-926463-5
1672:
1668:
1664:
1658:
1655:
1651:
1645:
1641:
1637:
1633:
1629:
1625:
1621:
1615:
1612:
1608:
1602:
1598:
1594:
1590:
1583:
1580:
1575:
1569:
1565:
1558:
1555:
1550:
1546:
1540:
1537:
1524:
1523:
1518:
1512:
1509:
1504:
1502:0-486-20430-8
1498:
1494:
1490:
1486:
1482:
1476:
1473:
1468:
1460:
1456:
1455:
1449:
1442:
1439:
1435:
1431:
1430:
1426:(July 1996),
1425:
1420:
1417:
1410:
1406:
1403:
1401:
1398:
1396:
1393:
1391:
1388:
1386:
1383:
1381:
1378:
1376:
1373:
1371:
1368:
1367:
1363:
1361:
1359:
1355:
1351:
1336:
1332:
1313:
1310:
1307:
1304:
1301:
1298:
1295:
1288:
1287:
1286:
1284:
1280:
1276:
1272:
1269:
1265:
1261:
1256:
1249:
1247:
1245:
1241:
1237:
1233:
1226:
1223:
1222:
1221:
1219:
1215:
1211:
1203:
1199:
1196:
1195:
1194:
1192:
1188:
1184:
1176:
1174:
1172:
1167:
1149:
1145:
1141:
1137:
1132:
1126:
1125:boron carbide
1113:
1109:
1104:
1102:
1098:
1094:
1066:
1062:
1058:
1047:
1043:
1033:
1029:
1028:
1025:
1021:
1020:
996:
958:
920:
882:
844:
829:
827:
823:
810:
806:
802:
798:
790:
786:
782:
778:
774:
770:
764:
756:
754:
740:
720:
700:
668:
665:
662:
659:
653:
647:
641:
632:
626:
608:
602:
596:
590:
584:
574:
573:
572:
570:
566:
562:
561:
556:
548:
546:
544:
540:
532:
516:
513:
510:
507:
504:
501:
493:
492:
487:
486:
481:
476:
462:
459:
456:
453:
450:
447:
427:
424:
421:
418:
410:
406:
402:
398:
394:
390:
386:
382:
380:
376:
373:to model the
372:
368:
364:
345:
342:
339:
336:
329:
328:
327:
323:
321:
317:
313:
308:
304:
285:
280:
276:
272:
267:
264:
259:
256:
249:
248:
247:
245:
241:
237:
233:
229:
225:
221:
217:
213:
210:relating one
209:
205:
201:
193:
191:
189:
185:
181:
177:
173:
169:
164:
162:
158:
155:
151:
150:
145:
141:
137:
129:
125:
121:
117:
113:
108:
91:
86:
66:
57:
52:
42:
33:
22:
1736:
1730:
1719:. Retrieved
1715:
1705:
1694:. Retrieved
1690:
1681:
1662:
1657:
1628:New York, NY
1623:
1614:
1588:
1582:
1563:
1557:
1548:
1539:
1527:. Retrieved
1520:
1511:
1484:
1475:
1452:
1441:
1427:
1419:
1375:Formula unit
1349:
1330:
1328:
1274:
1270:
1257:
1253:
1243:
1239:
1235:
1231:
1229:
1224:
1217:
1208:In computer
1207:
1204: - 32)
1201:
1197:
1180:
1177:In computing
1168:
1133:
1105:
1090:
1064:
1060:
1045:
1031:
1017:
766:
692:
558:
552:
538:
530:
489:
483:
477:
383:
360:
324:
306:
302:
300:
197:
183:
171:
167:
165:
156:
147:
143:
139:
133:
84:
64:
55:
1529:31 December
1354:microstates
1346:10 J⋅K
1337:, equal to
1279:microstates
1210:spreadsheet
1187:calculation
820:denotes an
405:noun phrase
385:Expressions
320:closed form
232:geometrical
200:mathematics
1761:Categories
1721:2019-11-26
1696:2019-11-26
1469:required.)
1411:References
1358:macrostate
1283:macrostate
1240:A3 = A1+A2
397:inequality
371:sine curve
316:analytical
208:inequality
186:(from the
124:ETH Zurich
1712:"Ethanol"
1710:PubChem.
1593:Cambridge
1448:"formula"
1311:
1305:⋅
1200:= (5/9)*(
1193:such as.
1183:computing
1136:molecules
997:−
959:−
921:−
883:−
845:−
639:→
621:¬
618:→
588:∀
582:∀
514:≥
508:−
460:≥
454:−
425:−
389:relations
312:algebraic
273:π
240:parameter
90:isobutane
1622:(2010),
1489:New York
1483:(1958).
1364:See also
1242:, where
805:hydrogen
801:molecule
409:sentence
393:equality
367:equation
204:equation
184:formulae
172:formulas
1400:Theorem
1333:is the
1268:entropy
1148:glucose
1112:ethanol
1099:by its
1097:element
789:numbers
395:(=) or
230:or its
168:formula
157:formula
140:formula
136:science
83:π
81:
69:
59:
1743:
1673:
1646:
1603:
1570:
1499:
1348:, and
1329:where
1230:where
1225:=A1+A2
1216:, say
1024:butane
809:oxygen
318:or in
244:radius
224:sphere
220:volume
51:sphere
1463:
1339:1.380
1262:. In
1250:Units
822:ozone
797:water
777:atoms
531:false
491:false
391:like
377:in a
369:of a
242:(the
222:of a
146:or a
1741:ISBN
1671:ISBN
1644:ISBN
1601:ISBN
1568:ISBN
1531:2013
1497:ISBN
1234:and
1214:cell
1150:is C
1142:and
1067:) CH
1063:(or
1059:the
1044:the
1030:the
1022:for
1016:The
771:, a
539:true
485:true
163:.
154:term
138:, a
1636:doi
1341:649
1181:In
1106:In
1056:and
767:In
553:In
533:if
488:or
379:bay
206:or
198:In
190:).
134:In
114:'s
100:CH.
1763::
1714:.
1689:.
1669:)
1642:,
1634:,
1630::
1599:,
1595::
1547:.
1519:.
1495:.
1491::
1487:.
1451:.
1360:.
1308:ln
1285::
1244:A3
1236:A2
1232:A1
1218:A3
1169:A
1156:12
1091:A
1079:CH
1075:CH
1071:CH
1054:10
828:.
787:,
571:,
545:)
322:.
314:,
182:,
118:,
67:=
1749:.
1724:.
1699:.
1638::
1576:.
1533:.
1505:.
1461:.
1436:)
1350:W
1344:×
1331:k
1314:W
1302:k
1299:=
1296:S
1275:W
1271:S
1164:2
1160:6
1158:O
1154:H
1152:6
1129:n
1120:6
1118:H
1116:2
1083:.
1081:3
1077:2
1073:2
1069:3
1052:H
1050:4
1048:C
1040:5
1038:H
1036:2
1034:C
1001:H
989:|
984:H
976:H
971:|
966:C
951:|
946:H
938:H
933:|
928:C
913:|
908:H
900:H
895:|
890:C
875:|
870:H
862:H
857:|
852:C
841:H
816:3
793:2
741:Q
721:P
701:f
678:)
675:)
672:)
669:z
666:,
663:x
660:,
657:)
654:y
651:(
648:f
645:(
642:Q
636:)
633:x
630:(
627:P
624:(
615:)
612:)
609:x
606:(
603:f
600:(
597:P
594:(
591:y
585:x
535:x
517:3
511:5
505:x
502:8
463:3
457:5
451:x
448:8
428:5
422:x
419:8
346:a
343:m
340:=
337:F
307:r
303:V
286:.
281:3
277:r
268:3
265:4
260:=
257:V
98:3
96:)
94:3
85:r
78:3
75:/
72:4
65:V
56:V
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.