Všeobecný výrok

Z Wikipédie

Všeobecný výrok alebo univerzálny výrok je výrok tvaru: Všetky prvky x množiny A majú vlastnosť V(x). Všeobecné vyroky sa označujú pomocou všeobecných kvantifikátorov.

Obsah

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Výrok - druhy/príklady

výrok

elementárny výrok

všeobecný výrok


[úprava] Výrok - názory naň

výrok


výrok (Frege, G.)

výrok (logika)

výrok (logika matematická)

výrok (logika výroková)


[úprava] Pozri aj

výrok

výroková algebra

logická analýza

dôkaz

druhy/príklady výroku

výroková logika


súd

verifikácia

veta

výrokový výraz


[úprava] Výrok - zoznam podľa autorov

výrok - zoznam podľa autorov

Berkeley, G. - výroky