opus:fall2012:swilli31:discretepart1
Table of Contents
discrete Keyword 1
Affirmation/Validity/Tautology
Definition
Everything is always evaluated as true
References
- Tautology wikipedia page
Converse Implication, Discrete Phase 2
Definition
For any two propositions P and Q, if Q implies P, then P is the converse implication of Q.
It may take the following forms:
- p⊂q
- Bpq
- p←q
P | Q | XNq _ _ _ _ _ 0 | 0 | 0 0 | 1 | 0 1 | 0 | 1 1 | 1 | 0
References
List any sites, books, or sources utilized when researching information on this topic. (Remove any filler text).
- Reference 2
- Reference 3
Demonstration
Demonstration of the indicated keyword.
If you wish to aid your definition with a code sample, you can do so by using a wiki code block, an example follows:
/* * Sample code block */ #include <stdio.h> int main() { return(0); }
Alternatively (or additionally), if you want to demonstrate something on the command-line, you can do so as follows:
lab46:~$ cd src lab46:~/src$ gcc -o hello hello.c lab46:~/src$ ./hello Hello, World! lab46:~/src$
opus/fall2012/swilli31/discretepart1.txt · Last modified: 2012/09/17 18:57 by 127.0.0.1