Skip to main content
Skip to search
Virginia Tech®
home
Universal Access Toggle
Universal Access
Close Universal Access dialog
Universal Access Options
Report a barrier
Accessibility portal
Pause all background videos
Underline all links
Apply
Visit
Give
Shop
Hokie Gear
Apparel, clothing, gear and merchandise
Hokie Shop
University Bookstore, merchandise and gifts
Hokie License Plates
Part of every Virginia Tech plate purchase funds scholarships
Resources for
Future Students
Current Students
Parents and Families
Faculty and Staff
Alumni
Industry and Partners
Department of Mathematics
Menu
College of Science /
Department of Mathematics
Department of Mathematics
People
People Submenu Toggle
Faculty
VT Math Alumni
Research
Research Submenu Toggle
Mathematics Education
Algebra, Algebraic Geometry & Combinatorics
Applied & Computational Mathematics
Mathematical Physics
Mathematical Biology
Analysis
Geometry & Topology
Computational Fluid Dynamics
High Performance Computing
Data Analytics
Inverse Problems
Modeling, Control & Optimization
Model Reduction
Numerical Linear Algebra
Numerical Partial Differential Equations
Partial Differential Equations
Modeling, Model Reduction, Control & Optimization
Coding Theory & Cryptography
Dynamic Systems & Ergodic Theory
Calendar
Graduate Programs
Graduate Programs Submenu Toggle
Graduate Students
Application Guidelines
Conference Travel Support for Graduate Students
Resources to Support Your Mental Health
Grad Student Spotlights
Graduate Programs
Undergraduate Programs
Undergraduate Programs Submenu Toggle
Undergraduate Research
Force-Add
Undergraduate Program Course Information
Tutoring
Credit by Exam
Advising
Paid Job Opportunities in Math
Anticipated Enrollment
Outreach
Outreach Submenu Toggle
Math Xperience
Career Day
The Proofs Project
The Proofs Project Submenu Toggle
Proofs Project Team
Project Introduction
Professional Development Training Materials
Research Publications
Instructional Modules
Our Team
Epistemological Obstacles
VTRMC
Intranet
Apply
Visit
Give
Shop
Hokie Gear
Apparel, clothing, gear and merchandise
Hokie Shop
University Bookstore, merchandise and gifts
Hokie License Plates
Part of every Virginia Tech plate purchase funds scholarships
Resources for
Future Students
Current Students
Parents and Families
Faculty and Staff
Alumni
Industry and Partners
Search
Search query
×
search
Search this site
Search all vt.edu sites
People search
Web
results for
Sort by relevance
Sort by date
News
results for
Sort by relevance
Sort by date
Filter search
Categories
Academics
Campus Experience
Culture
Impact
Research
Story type
Feature
Notice
Story
Video
Apply filters
Clear filters
Video
results for
Sort by relevance
Sort by date
People
results for
College of Science
/
Department of Mathematics
/
The Proofs Project
/
Instructional Modules
/
Tasks
/
Alternative Language for Implications
/
Explore
Sociomathematical Norms
Logical Implication
Quantification
Mathematical Induction
Function
EXPERIMENTAL MODULE
Tasks
Current page:
Alternative Language for Implications
Analyzing "Proofs" of a Logical Implication
Determining the Validity of an Argument
Proving Existence Nonconstructively
The Role of k Versus n in Mathematical Induction
Determining How Order of Quantification Impacts Mathematical Logic
Showing an Implication is False
Proving Multiply Quantified Statements
An Introduction to Multiply Quantified Statements
Introduction to the Existential Quantifier
Introduction to the Universal Quantifier
Contrapositive Equivalence
Introducing the Concept of Negation
Addressing Quantification of the Negation
Properties of the Composition of Functions
Proving Existence Constructively
Translating Mathematical Symbols into Meaningful Understanding
Identifying Valid Mathematical Statements
Determining Relationships Between Truth Sets
Heuristics
Alternative Language for Implications
Alternative Language for Implications
A task introducing students to alternative ways of using language to state a logical implication.
View Task
