blob: fcb445ade9c02960889c1c36c426c54c0e7aab29 (
plain)
1
2
3
4
5
6
7
8
9
|
//Chapter 01: The Foundations: Logic and Proofs
clc;
clear;
mprintf( "Let p=Vandana s smartphone has at least 32GB of memory.")
mprintf( "\nThe negation of p is ( ~p ) :It is not the case that Vandana s smartphone has at least 32GB of memory.")
mprintf( "\nOr in simple English ( ~p ): Vandana s smartphone does not have at least 32GB of memory.")
mprintf( "\nOr even more simple as ( ~p ): Vandana s smartphone has less than 32GB of memory.")
|