Category:Formal Logic Definitions

From Maths
Jump to: navigation, search

Pages in category "Formal Logic Definitions"

The following 30 pages are in this category, out of 30 total.

A

  • Arity
  • Assignment (FOL)
  • Atomic formula (FOL)

C

  • Composite formula (FOL)

D

  • Domain (FOL)

E

  • Equivalent formulas

F

  • First order language
  • FOL
  • Formula (FOL)
  • Formulas (FOL)

F cont.

  • Free variables (FOL)

H

  • Herbrand domain
  • Hintikka set

I

  • Interpretation (FOL)

L

  • Logical and
  • Logical consequence (FOL)

M

  • Model (FOL)

N

  • Negation

S

  • Satisfiable formula
  • Semantic conclusion (FOL)

S cont.

  • Semantics of formulas (FOL)
  • Semantics of logical connectives (FOL)
  • Semantics of terms (FOL)
  • Structure (FOL)
  • Substitution assignment (FOL)

T

  • Tautology (FOL)
  • Term (FOL)
  • Terms (FOL)
  • Truth values (FOL)

V

  • Valid formula
Retrieved from "http://www.maths.kisogo.com/index.php?title=Category:Formal_Logic_Definitions&oldid=2970"
Categories:
  • Definitions
  • Formal Logic

Navigation menu

Views

  • Category
  • Discussion
  • View source
  • History

Personal tools

  • Log in

Navigation

  • Main page
  • Recent changes
  • Random page
  • Help

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
Powered by MediaWiki
  • This page was last modified on 8 September 2016, at 08:36.
  • This page has been accessed 3,611 times.
  • Content is available under Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) unless otherwise noted.
  • Privacy policy
  • About Maths
  • Disclaimers