script para aplicacoes de efeitos visuais e funcionalidades de consulta International Database of Educational Objects

Ranking

Statistical Summary

Statistical Summary

View Files Size Format Download
View/ Open BasicExamplesOfPropositionalCalculus.nbp 76.78Kb application/octet-stream
Title: Basic examples of propositional calculus
Type of Resource: Animação/simulação
Objective: Esta demonstração usa tabelas de verdade para verificar alguns exemplos de cálculo proposicional
Abstract: This Demonstration uses truth tables to verify some examples of propositional calculus. A sentence is a tautology if and only if every row of the truth table for it evaluates to true. Two sentences are logically equivalent if they have the same truth value in each row of their truth table. An argument is valid if each assignment of truth value that makes all premises true also makes the conclusion true
Observation: This demonstration needs the "MathematicaPlayer.exe" to run. Find it in http://objetoseducacionais2.mec.gov.br/handle/mec/4737
Curriculum Component: Educação Superior::Ciências Exatas e da Terra::Matemática
Theme: Educação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática
Author: Hafner, Izidor
Language: English (en)
Country: United States (us)
Publisher: Wolfram demonstrations project
Web Address: http://demonstrations.wolfram.com/BasicExamplesOfPropositionalCalculus/
Date: 2009
Rightsholder: The Wolfram Demonstrations Project & Contributors
License: Demonstration freeware using MathematicaPlayer
Submitter: Universidade Federal de São Carlos (UFSCAR)
URI: http://objetoseducacionais2.mec.gov.br/handle/mec/13735
This Educational Object appears in the following Types of resources: Educação Superior: Ciências Exatas e da Terra: Matemática: Animações/Simulações