summaryrefslogtreecommitdiff
path: root/3808/CH1/EX1.4/Ex1_4.sce
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.")