diff options
Diffstat (limited to '3808/CH1/EX1.5/Ex1_5.sce')
| -rw-r--r-- | 3808/CH1/EX1.5/Ex1_5.sce | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/3808/CH1/EX1.5/Ex1_5.sce b/3808/CH1/EX1.5/Ex1_5.sce new file mode 100644 index 000000000..60342f59f --- /dev/null +++ b/3808/CH1/EX1.5/Ex1_5.sce @@ -0,0 +1,10 @@ +//Chapter 01: The Foundations: Logic and Proofs + +clc; +clear; + +p="Rebecca s PC has more than 16GB free hard disk space" +q="The processor in Rebecca s PC runs faster than 1GHz" +mprintf("Let p,q be two propositions") +mprintf("\nLet p=%s \n Let q=%s",p,q) +mprintf("\nConjunction of p^q is : %s and %s",p,q) //conjunction combines two propositons with "and" |