Category:Formal Logic

From Maths
Jump to: navigation, search

Subcategories

This category has only the following subcategory.

F

  • ► Formal Logic Definitions‎ (30 P)

Pages in category "Formal Logic"

The following 34 pages are in this category, out of 34 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)
  • Free variables (FOL)

H

  • Herbrand domain

H cont.

  • Hintikka set

I

  • If A is a logical consequence of Gamma then the formula set of Gamma union the negation of A is not satisfiable
  • Interpretation (FOL)

L

  • Logical and
  • Logical consequence (FOL)

M

  • Model (FOL)

N

  • Negation
  • Negation of implies
  • Negation of logical and

R

  • Rewriting for-all and exists within set theory

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&oldid=2969"
Category:
  • Subjects

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,572 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