Predicate logic | Logical expressions

Atomic formula

In mathematical logic, an atomic formula (also known as an atom or a prime formula) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the atomic formulas using the logical connectives. The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, a propositional variable is often more briefly referred to as an "atomic formula", but, more precisely, a propositional variable is not an atomic formula but a formal expression that denotes an atomic formula. For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term. In model theory, atomic formulas are merely strings of symbols with a given signature, which may or may not be satisfiable with respect to a given model. (Wikipedia).

Video thumbnail

From the Empirical Formula to the Molecular Formula

Shows how to go from the empirical formula of a compound to its corresponding molecular formula. You can see a listing of all my videos at my website, http://www.stepbystepscience.com

From playlist Chemical Equations; Ionic and Covalent Compounds

Video thumbnail

Atomic number, atomic mass, protons, neutrons and electrons: from fizzics.org

Atomic number and atomic mass together provide key information about an isotope of an element. The two numbers prefix the symbol, the one above giving the atomic mass and the one below the atomic number. The atomic number or proton number defines which element it is. By subtracting that fr

From playlist Atomic structure

Video thumbnail

Empirical vs Molecular Formula for Chemical Compounds

Explains the difference between the empirical formula and the molecular formula for chemical compounds. You can see a listing of all my videos at my website, http://www.stepbystepscience.com

From playlist Chemical Equations; Ionic and Covalent Compounds

Video thumbnail

Empirical and Molecular Formulas from Mass Composition (No. 2)

Shows how to determine the empirical and molecular formulas for a compound if you are given the mass of each element in the compound and the molecular weight. You can see a listing of all my videos at my website, http://www.stepbystepscience.com

From playlist Chemical Equations; Ionic and Covalent Compounds

Video thumbnail

Molecular Formula | Chemistry | Homework Help

The Molecular Formula tells you the number of atoms of each of the elements in one molecule of a compound. In a previous video, we found the Empirical Formula, and this is a related idea, but not the same thing. The Empirical Formula gives the lowest whole number ratio of the atoms of the

From playlist Chemistry Lessons

Video thumbnail

Empirical and Molecular Formula1

Senior Chemistry lesson on calculating empirical and molecular formulae

From playlist Chemistry

Video thumbnail

From the Molecular Formula to the Empirical Formula

Shows how to go from the molecular formula of a compound to its corresponding empirical formula. You can see a listing of all my videos at my website, http://www.stepbystepscience.com

From playlist Chemical Equations; Ionic and Covalent Compounds

Video thumbnail

Molecular and Empirical Formulas

Introduction to molecular and empirical formulas. Calculating molecular mass. More free lessons at: http://www.khanacademy.org/video?v=gfBcM3uvWfs

From playlist Chemistry

Video thumbnail

Empirical and Molecular Formulas from Mass Composition (No. 1)

Shows how to determine the empirical and molecular formulas for a compound if you are given the mass of each element in the compound and the molecular weight. You can see a listing of all my videos at my website, http://www.stepbystepscience.com

From playlist Chemical Equations; Ionic and Covalent Compounds

Video thumbnail

Molecular and empirical formulas | Physical Processes | MCAT | Khan Academy

Visit us (http://www.khanacademy.org/science/healthcare-and-medicine) for health and medicine content or (http://www.khanacademy.org/test-prep/mcat) for MCAT related content. These videos do not provide medical advice and are for informational purposes only. The videos are not intended to

From playlist Physical processes | MCAT | Khan Academy

Video thumbnail

GCSE Science Revision Chemistry "Calculating Moles of a Compound"

Find my revision workbooks here: https://www.freesciencelessons.co.uk/workbooks In this video, we continue looking at the idea of moles. We learn how to use the relative formula mass to calculate the number of moles of a compound. You'll need this later, so it's really important stuff.

From playlist 9-1 GCSE Chemistry Paper 1 Quantitative Chemistry

Video thumbnail

GCSE Science Revision Chemistry "Calculating Percentage by Mass"

In this GCSE Chemistry video, we look at how to calculate the percentage by mass of an element in a compound. This is a relatively straightforward topic but it's very important that you can do it. This is the first in my new style of videos. Animated videos are much quicker to make than o

From playlist 9-1 GCSE Chemistry Paper 1 Quantitative Chemistry

Video thumbnail

A Level Chemistry Revision "Relative Molecular Mass and Relative Formula Mass"

In this video we look at how to work out the mass of molecules. Scientists call this the relative molecular mass. I show you how to work this out and then explain a very common pitfall which many students are caught out by. We then look at how to work out the mass of a giant structure such

From playlist A Level Chemistry Calculations Involving the Mole

Video thumbnail

Chemistry - Atoms, Molecules, and Ions (7 of 23) Empirical Formula

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain the empirical formula and shows the simplest ratio of atom present.

From playlist Michel van Biezen: CHEM - Introduction

Video thumbnail

Moles To Atoms Conversion - Chemistry

This chemistry video tutorial explains the conversion process of moles to atoms and how to convert the number of atoms to moles. This tutorial contains plenty of examples and practice problems. This tutorial is useful for calculating stoichiometry problems. New Chemistry Video Playlist:

From playlist New AP & General Chemistry Video Playlist

Video thumbnail

GCSE Science Revision Chemistry "Relative Formula Mass"

Find my revision workbooks here: https://www.freesciencelessons.co.uk/workbooks In this video, we take a look at a really important topic in Chemistry which is relative formula mass. It's not that difficult to calculate (apart from a couple of pit-falls, which I show you in this video) bu

From playlist 9-1 GCSE Chemistry Paper 1 Quantitative Chemistry

Video thumbnail

A Level Chemistry Revision "General Formula"

In this video, we explore the general formula of a homologous series. First, I discuss what is meant by the general formula. I then show you how to determine the general formula of a homologous series using the alkanes and alkenes as examples. Finally, I get you to determine the general fo

From playlist A Level Chemistry "Organic Chemistry"

Video thumbnail

GCSE Science Revision Chemistry "Interpreting a Chemical Formula"

Find my revision workbook here: https://www.freesciencelessons.co.uk/workbooks In this video, I show you how to interpret a chemical formula. First we look at how to identify the elements shown by a chemical formula. Then we explore how the chemical formula shows us the number of atoms of

From playlist 9-1 GCSE Chemistry Paper 1 Atomic Structure and the Periodic Table

Video thumbnail

Nuclide Symbols: Atomic Number, Mass Number, Ions, and Isotopes

How do we represent an atom, with all of its protons, neutrons, and electrons? With nuclide symbols, of course! These show the type of element, as well as the atomic number, mass number, and electrical charge of an atom. That's all you need to know! Watch the whole General Chemistry playl

From playlist General Chemistry

Related pages

Signature (logic) | Recursive definition | Quantifier (logic) | Structure (mathematical logic) | Domain of discourse | Mathematical logic | Atomic sentence | Model theory | Logical connective | Term algebra | Tuple | Propositional variable | Proposition | Well-formed formula | First-order logic | String (computer science) | Proof theory