Skip to Content

Og

Fyrir sérhverjar yrðingar $p$ og $q$ er $p \wedge q$ (lesið: „$p$ og $q$“) sú yrðing sem segir að $p$ og $q$ séu báðar sannar. Yrðingin $p \wedge q$ er þess vegna sönn þegar yrðingarnar $p$ og $q$ eru báðar sannar, en annars er hún ósönn. Þessu má lýsa með eftirfarandi töflu, sem sýnir sanngildi yrðingarinnar $p \wedge q$ eftir ólíkum sanngildum $p$ annars vegar og $q$ hins vegar:

$p$ $q$ $p \wedge q$
$0$ $0$ $0$
$0$ $1$ $0$
$1$ $0$ $0$
$1$ $1$ $1$

Dæmi:  

  • Látum $p$ tákna yrðinguna „Tveir plús tveir eru fjórir“ og $q$ tákna yrðinguna „Reykjavík er höfuðborg Íslands“. Þá er $p \wedge q$ yrðingin „Tveir plús tveir eru fjórir og Reykjavík er höfuðborg Íslands“, sem er sönn því $p$ og $q$ eru báðar sannar.
  • Látum $p$ tákna yrðinguna „Jörðin er stærri en tunglið “ og $q$ tákna yrðinguna „Sólin er reikistjarna“. Þá er $p \wedge q$ yrðingin „Jörðin er stærri en tunglið og sólin er reikistjarna“, sem er ósönn því $q$ er ósönn.

Fyrir sérhverjar opnar yrðingar $p(x)$ og $q(x)$ er $p(x) \wedge q(x)$ (lesið: „$p(x)$ og $q(x)$“) sú opna yrðing sem segir að $p(x)$ og $q(x)$ séu báðar sannar.

Ef $A$ er mengi og opnu yrðingarnar $p(x)$ og $q(x)$ hafa lausnamengi $P$ og $Q$ í $A$, þá er lausnamengi $p(x) \wedge q(x)$ í $A$ gefið með sniðmengi þeirra, þ.e. \[ \{ x \in A \mid p(x) \wedge q(x) \} = P \cap Q. \]

Dæmi:  

  • Látum $p(x)$ tákna opnu yrðinguna „$x$ er slétt tala“ og $q(x)$ tákna opnu yrðinguna „$3$ gengur upp í $x$“. Þá táknar $p(x) \wedge q(x)$ opnu yrðinguna „$x$ er slétt tala og $3$ gengur upp í hana“. Lausnamengi $p(x)$ í menginu $\mathbb{N}$ er $P = \{0,2,4,6,\ldots\}$, lausnamengi $q(x)$ í $\mathbb{N}$ er $Q = \{0,3,6,9,\ldots\}$, svo lausnamengi $p(x) \wedge q(x)$ í $\mathbb{N}$ er \[ P \cap Q = \{0,6,12,18,24,\ldots\}. \]