blob: 681c15a5e9cde1201ebc6cf7ace8d63c42bf80d5 (
plain)
1
2
3
4
5
6
7
8
9
10
|
//Chapter 01: The Foundations: Logic and Proofs
clc;
clear;
p="Maria learns discrete mathematics"
q="Maria will find a good job"
mprintf("Let p=%s \n Let q=%s",p,q)
mprintf("\np->q is : If %s then %s",p,q) //p->q p implies q means If p then q.
mprintf("\np->q is also expressed as :%s when %s",q,p)
|
