Simple sentences which are true or false are basic propositions. Larger and more complex sentences are constructed from basic propositions by combining them with connectives. Thus propositions andconnectives are the basic elements of propositional logic. Though there are many connectives, we are going to use the following five basic connectives here:
ref: http://www.cs.odu.edu/~toida/nerzic/content/logic/prop_logic/elements/elements.html
NOT, AND, OR, IF_THEN (or IMPLY), IF_AND_ONLY_IF.
They are also denoted by the symbols:
, 
, 
, 
, 
,
, , , , ,
respectively.
No comments:
Post a Comment