diff options
Diffstat (limited to '3808/CH1/EX1.11/Ex1_11.sce')
-rw-r--r-- | 3808/CH1/EX1.11/Ex1_11.sce | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/3808/CH1/EX1.11/Ex1_11.sce b/3808/CH1/EX1.11/Ex1_11.sce new file mode 100644 index 000000000..4aa40650f --- /dev/null +++ b/3808/CH1/EX1.11/Ex1_11.sce @@ -0,0 +1,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) |