Lukasiewicz's Many-Valued Logic - Arithmetic Semantic - Maple Application Center
  Submit your work
Application Center Applications Lukasiewicz's Many-Valued Logic - Arithmetic Semantic

Lukasiewicz's Many-Valued Logic - Arithmetic Semantic

Author
: Kahtan H. Alzubaidy
0
Engineering software solutions from Maplesoft
 Download
 Preview
This Application runs in Maple. Don't have Maple? No problem!
 Try Maple free for 15 days!
Maple Procedures are presented to evaluate propositions and to check tautologies in Lukasiewicz's n-valued logic. Atomic propositions are represented by numerical variables and logical connectives by suitable functions. Evaluations and checking are done for compound propositions consisting of at most four atomic propositions.

Application Details

Publish Date: June 09, 2018
Created In: Maple 15
Language: English
This app is not in any Collections

Add to a Collection

Tags

logic logic

More Like This

Interactive Sudoku

Curtis Bright

0
Solving the World's Hardest Sudoku

Curtis Bright

1
Solving the Einstein Riddle

Curtis Bright

1
Finite Field Representations by Using Maple

Kahtan H. Alzubaidy

1
Fuzzy Sets in Examples

Prof. Gennady P. Chuiko

1
Clique Finding with SAT

Curtis Bright

0
Pascal's triangle and its relationship to the Fibonacci sequence

Maplesoft Author Maplesoft

0
Finding Graeco-Latin Squares

Curtis Bright

1
Solving constraint satisfaction problems II: More difficult logic problems

Carl DeVore

1
The n-Queens Problem

Curtis Bright

2
Graph Colouring with SAT

Curtis Bright

0
Solving the 15-puzzle

Curtis Bright

0