diff options
Diffstat (limited to '3808/CH1/EX1.6/Ex1_6.sce')
| -rw-r--r-- | 3808/CH1/EX1.6/Ex1_6.sce | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/3808/CH1/EX1.6/Ex1_6.sce b/3808/CH1/EX1.6/Ex1_6.sce new file mode 100644 index 000000000..6cba9e7e8 --- /dev/null +++ b/3808/CH1/EX1.6/Ex1_6.sce @@ -0,0 +1,11 @@ +//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("\nDisjunction of pVq is : %s or %s",p,q) //cup symbol.= V +//Disjunction combines two propositons using OR |