Discover published sets by community

A compound proposition expressed as 'if ... then ...' that is false only when the antecedent is true and the consequent is false. Example: $p \rightarrow q$ where $p$ is 'It rains.' and $q$ is 'The ground is wet.'

A compound proposition that is true when both components have the same truth value. Example: $p \leftrightarrow q$ where $p$ is 'It is raining.' and $q$ is 'The street is wet.'

A compound proposition that is always true, regardless of the truth values of its components. Example: $p \lor \neg p$ which translates to 'It is raining or it is not raining.'

The simplest form of proposition without any logical connectives. Example: 'p' where p represents 'It is raining.'

An operator that combines one or more propositions to form a new proposition. Examples: 'and', 'or', 'not'.

A compound proposition that can be either true or false depending on the truth values of its components, not always true or always false. Example: $p \land q$ where $p$ and $q$ have indeterminate truth values.

A compound proposition that is true if at least one of its components is true. Example: $p \lor q$ where $p$ is 'It is raining.' and $q$ is 'It is cold.'

A table used to determine the truth value of a compound proposition for every possible combination of truth values of its components. Example: Truth table for $p \land q$.

A compound proposition that is true if and only if both of its components are true. Example: $p \land q$ where $p$ is 'It is raining.' and $q$ is 'It is cold.'

A compound proposition that is always false, regardless of the truth values of its components. Example: $p \land \neg p$ which translates to 'It is raining and it is not raining.'

A statement that can be either true or false, but not both. Example: 'The sky is blue.'