Výroková logika - prednášky

«»

Prípona .rtf	Typ prednášky	Stiahnuté 154 x
Veľkosť 0,1 MB	Jazyk slovenský	ID projektu 3456
Posledná úprava 27.04.2017	Zobrazené 5 577 x	Autor: eva
Zdieľaj na Facebooku
Detaily projektu

cena:
5 Kreditov
kvalita:
77,3%
77,3%
Stiahni
Pridaj na porovnanie

Univerzita:Trnavská univerzita v Trnave
Fakulta:Filozofická fakulta
Kategória:Prírodné vedy » Matematika
Predmet:Úvod do logiky
Študijný program:-
Ročník:1. ročník
Formát:Rich Text Format (.rtf)
Rozsah A4:6 strán

Popis:

Ukážka:

Výrok je spravidla oznamovacia veta, ktorá má pravdivostnú hodnotu, t.j. je pravdivá alebo nepravdivá. Výrazy, ktoré nie sú vetami (ako napr. indivíduové mená, predikáty) ale aj vety, ktoré nie sú oznamovacími vetami (napr. otázky, rozkazy) nie sú výroky.

Kľúčové slová:

konjunkcia

disjunkcia

implikácia

reimplikácia

akvivalencia

Obsah:

I. Logické spojky
Reimplikácia.
Zhrnutie základných výrokových spojok:
Tabuľka pravdivostných hodnôt najdôležitejších dvojmiestnych logických spojok
II. Určovanie pravdivostnej hodnoty zložených výrokov.
Formalizácia.
Ďalšie čítanie:
Literatúra:
Cvičenia

Zdieľaj na Facebooku

Stiahni

Pridaj projekt

Pridaj projekt a získaj kredity za stiahnutie. S kreditmi možeš sťahovať iné projekty. Je to jednoduché :)

Najčastejšie

Zobraz

Odporúčame