blob: 663236d7e62e1c5eee35b41bef4ef71cc32477b7 (
plain)
1
2
3
4
5
6
7
8
|
//Chapter 01: The Foundations: Logic and Proofs
clc;
clear;
mprintf("Propositon p=Michael s PC runs Linux.")
mprintf("\n Negation of p is ~p : It is not the case that Michael s PC runs Linux.")
mprintf("\n Negation of p is ~p : Michael s PC does not run.Linux")//Negation is opposite of the truth value of the proposition expressed with "it is not the case that" or with "not".
|
