Skip to content
Home » Prepositional Logic – Simple Statements

Prepositional Logic – Simple Statements

    Prepositional Logic is kind of logic that studies “Statements” and derives relationship among those statements.

    What is a statement or a preposition ?

    When we talk, we make many sentences, but all sentences are not statements. A sentence qualifies as a statement when it has a truth value. There is only two truth value for a statement – true or false.

    For example,

    What \hspace{5px}is \hspace{5px}your \hspace{5px}name?

    The above sentence is a question, and we cannot give a truth value for this sentence. It is neither true nor false.

    If someone reply to the question with an answer such as following

    My \hspace{5px}name \hspace{5px} is \hspace{5px} Peter.

    The above is an example of statement because it can be true or false.

    Watch on YouTube

    Simple Preposition and Compound Preposition

    Suppose there are two prepositions.

    \begin{aligned}
&I \hspace{5px}am \hspace{5px} eating.\\
&I \hspace{5px}am \hspace{5px} sleeping.
\end{aligned}

    Such individual statement is called simple prepositions and we do not need to write them every time. Instead, we can assign an alphabet to each of these statements.

    \begin{aligned}
&p : I \hspace{5px} am \hspace{5px} eating.\\
&q:  I\hspace{5px}  am\hspace{5px}  sleeping.
\end{aligned}

    We can also make complex statements using these simple prepositions. However, we need a logical connective to do that.

    There are many logical connectives but the most common connectives are

    \begin{aligned}
&and \hspace{5px} ( conjunction )\\
&or  \hspace{5px}  ( disjunction )
\end{aligned}
    p \wedge q  and p \vee q  are compound statements.

    It means following

    \begin{aligned}
&p \wedge q : I \hspace{5px} am \hspace{5px} eating \hspace{5px}and \hspace{5px}I \hspace{5px}am \hspace{5px}sleeping.\\
&p \vee q : I \hspace{5px}am \hspace{5px}eating \hspace{5px}or \hspace{5px}I \hspace{5px}am \hspace{5px}sleeping.
\end{aligned}

    The truth value of the compound preposition depends on the individual simple preposition in the compound preposition.

    In the above example, suppose truth value of p is true and q is false, then 

    \begin{aligned}
p \wedge q = true \wedge false = false
\end{aligned}

    Similarly, 

    \begin{aligned}
p \vee q = true \vee false = true
\end{aligned}

    We shall see more of these using a truth table in future lessons.