diff options
Diffstat (limited to '3808/CH1/EX1.3/Ex1_3.sce')
| -rw-r--r-- | 3808/CH1/EX1.3/Ex1_3.sce | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/3808/CH1/EX1.3/Ex1_3.sce b/3808/CH1/EX1.3/Ex1_3.sce new file mode 100644 index 000000000..663236d7e --- /dev/null +++ b/3808/CH1/EX1.3/Ex1_3.sce @@ -0,0 +1,8 @@ +//Chapter 01: The Foundations: Logic and Proofs + +clc; +clear; + +mprintf("Propositon p=Michael s PC runs Linux.") +mprintf("\n Negation of p is ~p : It is not the case that Michael s PC runs Linux.") +mprintf("\n Negation of p is ~p : Michael s PC does not run.Linux")//Negation is opposite of the truth value of the proposition expressed with "it is not the case that" or with "not". |