• Home
  • Search
  • A Teaching Tool for Proving Equivalences between Logical Formulae
  • Cite Icon11
  • https://doi.org/10.1007/978-3-642-21350-2_18Copy DOI Icon

A Teaching Tool for Proving Equivalences between Logical Formulae

  • Jan 1, 2011
  • Josje Lodder +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Abstract In this paper we describe a teaching tool for proving equivalences between propositional logic formulae, using rewrite rules such as De Morgan’s laws and double negation. This tool is based on an earlier tool for rewriting logical formulae into disjunctive normal form (DNF). Both tools make use of a rewrite strategy, which specifies how an exercise can be solved stepwise. Different types of feedback can be calculated automatically from such a strategy specification. We describe a strategy for constructing expert-like equivalence proofs, and present two techniques for improving the proofs that are generated by the strategy.Keywordspropositional logicequivalencese-learningfeedback

Similar Papers
  • Research Article
  • Citations62

Comparing different types of performance feedback and computer-based instruction in teaching medical students how to diagnose acute abdominal pain

  • Nov 01, 1993
  • Academic Medicine
  • S Schwartz +1
  • Research Article
  • Citations1

THE EFFECTS OF IMPLICIT AND EXPLICIT CLASSROOM FEEDBACK ON BILINGUAL SPEECH PRODUCTION

  • Feb 12, 2021
  • PROLÍNGUA
  • Janaina Weissheimer +1
  • PDF
  • Research Article
  • Citations1

How Might Cognitive Factors Affect Iranian EFL Learners’ Response to Feedback Provided on Writing? An Individual Differences Perspective

  • May 30, 2021
  • International Journal of Linguistics, Literature and Translation
  • Khalil Sazideh +1
  • Dissertation

Written Feedback In Second Language Writing: Perceptions Of Vietnamese Teachers And Students

  • Jan 01, 2020
  • Phuong Anh Nguyen
  • Conference Article
  • Citations18

A Comparison of Inquiry-Based Conceptual Feedback vs. Traditional Detailed Feedback Mechanisms in Software Testing Education: An Empirical Investigation

  • Mar 03, 2021
  • Lucas Cordova +3
  • Conference Article
  • Citations19

How Do Students Solve Parsons Programming Problems? -- Execution-Based vs. Line-Based Feedback

  • Mar 01, 2013
  • J Helminen +3
  • Research Article
  • Citations15

An Evaluation of the Effects of Very Difficult Goals

  • Jun 19, 2017
  • Journal of Organizational Behavior Management
  • Kathryn M Roose +1
  • Research Article
  • Citations71

Audio versus written feedback: Exploring learners’ preference and the impact of feedback format on students’ academic performance

  • Mar 21, 2016
  • Active Learning in Higher Education
  • Cecile Morris +1
  • PDF
  • Research Article
  • Citations3

The Effect of Different Types of Feedback on Learning of Aerobic Gymnastics Elements

  • Aug 12, 2022
  • Applied Sciences
  • Anita Lamošová +1
  • Research Article
  • Citations19

INDIRECT WRITTEN CORRECTIVE FEEDBACK, REVISION, AND LEARNING

  • Jan 23, 2017
  • Indonesian Journal of Applied Linguistics
  • Fatemeh Poorebrahim
  • Research Article
  • Citations3

The Effect of Incidental Focus on Form and Scaffolding on SL Learners' Accuracy

  • Jan 01, 2012
  • Procedia - Social and Behavioral Sciences
  • Hassan Asadollahfam +3
  • Research Article
  • Citations21

The effect of recorded oral feedback on EFL learners' writing

  • Mar 29, 2020
  • Dil ve Dilbilimi Çalışmaları Dergisi
  • Mehdi Solhi̇ +1
  • Research Article

Feedback from the younger generation on health information shared by their parents on WeChat: types, antecedents and consequences

  • Jan 15, 2025
  • Aslib Journal of Information Management
  • Xinyue Li +3
  • PDF
  • Research Article
  • Citations2

The analysis of collective orientation and process feedback in relation to coordination and performance in interdependently working teams

  • Mar 21, 2024
  • PLOS ONE
  • Vera Hagemann +2
  • Research Article
  • Citations3

On declarative rewriting for sound and complete union, intersection and negation types

  • Jan 30, 2019
  • Journal of Computer Languages
  • David J Pearce
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.