---
id: 20250818132007
title: Propositional Logic
type: permanent
created: 2025-08-18T17:20:07Z
modified: 2025-08-18T19:52:42Z
tags: []
---

# Propositional Logic

Propositional logic makes statements saying things like 'if
x, then y'. They are statements that are either **true or
false**, and have binary variables (P, Q, R, X, Y, etc...)

Here's some examples:

*If x, then y.* 

$$x\rightarrow y$$

*If x and y, then z.* 

$ (x \wedge y) \rightarrow z $

*Either the pump is on or the power is out.*

$ Pump \oplus \neg Power $ 

The pump is on and water is flowing if and only if the power
is on.

$( Pump \wedge Water) \leftrightarrow Power$


Propositional logic is expanded upon by 
[[predicate-logic]].

