blob: 6cba9e7e80f12009d9e7d405d73cb7b966870916 (
plain)
1
2
3
4
5
6
7
8
9
10
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
|
