Ero sivun ”Propositiologiikka” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Rivi 18:
* <math>p_2 =_{df} \,\!</math>"Esko kastuu".
Propositiosymboleista voidaan rakentaa monimutkaisempia ilmaisuja loogisten operaattoreiden eli ''konnektiivien'' avulla. Joskus osa konnektiiveista voidaan korvata määrittelemällä ne muutaman valitun konnektiivin avulla. Yleensä konnektiiveja esitellään seuraavat viisi, mutta on olemassa myös pari muuta konnektiivia: [[Shefferin viiva]] ja [[Peircen nuoli
{| border="1" class="prettytable"
Rivi 45:
| "A jos ja vain jos B"
|}
Ekvivalenssin ja inplikaation käyttöön liittyvä vain jos- muotoinen argumentointi virhe on nimeltään [[Inplikaation ja ekvivalenssin ero -argumentaatio virhe]].
Seuraavassa [[rekursio|rekursiivisessa]] määritelmässä määritellään kaikki propositiolauseet.
| |||