stæ.is

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.

Fyrir sérhverja yrðingu $p$ er $\neg p$ (lesið: „ekki $p$“) sú yrðing sem fæst með því að neita yrðingunni $p$. Yrðingin $\neg p$ hefur þess vegna alltaf öfugt sanngildi við yrðinguna $p$.