summaryrefslogtreecommitdiff
path: root/3808/CH1/EX1.11/Ex1_11.sce
diff options
context:
space:
mode:
Diffstat (limited to '3808/CH1/EX1.11/Ex1_11.sce')
-rw-r--r--3808/CH1/EX1.11/Ex1_11.sce17
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)