Ero sivun ”Predikaatti (logiikka)” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Käyttäjän 91.153.100.151 (keskustelu) muokkaukset kumottiin ja sivu palautettiin viimeisimpään käyttäjän Maksim-bot tekemään versioon. |
|||
Rivi 5:
[[Aristoteelinen logiikka|Aristoteelisessa logiikassa]] jokaisessa arvostelmassa on aina kaksi [[termi (filosofia)|termiä]], [[subjekti (filosofia)|subjekti]] ja predikaatti. Tällaisessa arvostelmassa subjektista väitetään jokin predikaatti.<ref name="Korkman"/> Esimerkiksi lauseessa ”Sokrates on ihminen” predikaatti ”on ihminen” väitetään subjektista ”[[Sokrates]]”.
''Predikointi'' tarkoittaa sen väittämistä, että jokin predikaatti kuuluu jollekin subjektille.<ref name="Korkman"/> Esimerkiksi lauseessa ”Sokrates on ihminen” ihmisyys siis predikoidaan Sokrateelle.
== Predikaattilogiikka ==
Joskus on epäkäytännöllistä tai mahdotonta määritellä [[joukko]] kuvaamalla kaikki sen jäsenet. Toinen mahdollinen tapa määritellä joukko on määritellä jokin ominaisuus, joka on yhteinen kaikille joukon jäsenille.
Merkintä ''P(x)'' tarkoittaa väittämää ''P'' koskien muuttujaa ''x''. Joukko, jonka ''P(x)'' määrää, merkitään {''x'' | ''P(x)''}. Joukko on kokoelma niitä olioita, joille väittämä ''P'' on mielekäs ja [[totuus|tosi]].
| |||