From 7f60ea012dd2524dae921a2a35adbf7ef21f2bb6 Mon Sep 17 00:00:00 2001 From: prashantsinalkar Date: Tue, 10 Oct 2017 12:27:19 +0530 Subject: initial commit / add all books --- 3808/CH1/EX1.6/Ex1_6.sce | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 3808/CH1/EX1.6/Ex1_6.sce (limited to '3808/CH1/EX1.6/Ex1_6.sce') 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 -- cgit