blob: 4aa40650f1ccbcec50e0b597e8c6b7f73729c394 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
//Chapter 01: The Foundations: Logic and Proofs
clc;
clear;
v1=sqrt(2)
v2=(3/2)
//let p be the proposition that sqrt(2) > (3/2)
if v1 > v2 then //which is false
z=v1**2 >v2**2
mprintf("(sqrt(2))^2 > (3/2)^2 %s ", string([%F]))//which is false and as a result will not be printed
end
//The conclusion is false,therefore final argument
fin_arg=v1**2>v2**2//sqrt(2)^2 is less than (3/2)^2
disp(fin_arg)
|
