Skip to main content

Search

Show all results for

Home

Concept

Transposition (logic)

Formal sciences
Logic
Classical logic
Propositional logic

About
Privacy
Disclaimer

Copyright © 2026 EPFL, all rights reserved

Graph Chatbot

Related lectures (13)

Login to filter by course

Linear Algebra: Properties and Operations

Explores subset properties, contraposition, and equivalence in linear algebra.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Proof Techniques: Examples

Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Proofs: Direct and Indirect Methods

Covers examples of direct and indirect proofs in mathematics.

Proof Techniques: Direct, Contraposition, Cases

Covers proof techniques like direct, contraposition, and cases with examples.

Proofs: Contraposition vs. Contradiction

Covers the concepts of contraposition and contradiction in proofs.

Inference Rules in Propositional Logic

Covers inference rules in propositional logic and common logical fallacies.

Introduction to Proofs

Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.

Introduction to Proofs

Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.

Proofs and Logic: Introduction

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Propositional Logic: Inference Rules and Valid Arguments

Covers inference rules in propositional logic and common logical fallacies.

Square Roots and Irrationality

Explores even squares, irrationality of √2, gaps in rational numbers, and minorants in Q.

Page 1 of 1