Home → Course Related Materials → First-order Logic
 
You must be logged in to perform this action.
You must be logged in to perform this action.
You must be logged in to perform this action.

First-order Logic

View Resource
No Strings Attached
Author:
Subject:
Mathematics and Statistics, Science and Technology
Institution Name:
Connexions
Collection:
Connexions
Grade Level:
Post-secondary
Abstract:

We replace long lists of particular statements with a few general statements, involving the quantifiers "for all" and "there exists". We see how this changes our proofs, and rules of inference.

Course Type:
Learning Module
Languages:
English
Material Type:
Readings, Syllabi
Media Format:
Text/HTML
Conditions of Use:
Creative Commons Attribution 1.0
Creative Commons Attribution 1.0

Comments

Add Comment

Send link to this page

The e-mail address to send this link to.
A comment about this link.
Save
Log in or Register
▼

Rate and Review

Evaluate Resource What is this?

Common Core Standards

Align Resource
Not Yet Aligned

    Add new alignment tag:

    Share

    Tags

    Keywords, descriptive words, interested groups & more