Truth Tables:
However in propositional logic - here we are restricted to expressing sentences and where the propositions are true or false - so we can check where a particular statement is true or false by working out the truth of ever larger sub statements requiring the truth of the propositions themselves. Where just to work out the truth of sub statements, there we require to know how to deal in the presence of connectives with truth assignments. Thus same kind of this instance, if there we know such as is_president(barack_obama) and is_male(barack_obama) are true, when we know that the sentence is as:
It means that we know that a sentence of the form P^Q is true where P is true and Q is true.