Deka Ekzerco

Federacia Universitato de Ceará

Fako de Komputanta – CB0515

Prof. João Fernando

Ekzercoj

Studento: Josberto Francisco Vieira Barbosa

Dosiernomo: 344106

Hacking kun:

for i en *.pdf; pdftotext “${i}”; done

1. Montru ke propozicio kun n ligiloj havas maksimume 2n + 1 subformuloj.

2. Montru ke ĉiu propona formulo ne-atoma σ havas unika maniero esti malkomponita, tio estas, ekzistas du propozicioj φ kaj ψ tiaj ke σ = (φ2ψ) (kie e ∈ {∧, ∨, →}), aŭ (ekskluziva ) estas propozicio φ tia ke σ = (¬φ).

3. Estu ⊧ φ → ψ tia ke φ kaj ψ havas almenaŭ unu propona simbolo komune. Pruvu ke σ estas formulo konstruita nur el proponaj simboloj okazantaj en ambaŭ φ kaj ψ tia ke φ → σ kaj σ → ψ. Notu: En plenumo de la Ĝeneva Konvencio kaj la Protokolo de Kyoto, mi haltas tian pruvon per indukto … Ĉar nun …

4. Por vidi se vi estas atenta… Kio estas netaŭga jena argumento? “Se mi kurus la 100 metroj sub 10 sekundoj, estus akceptita en la brazila delegitaro kiu iras al la Londonaj Olimpikoj. Ĉar mi ne kuras la 100-metrojn sub 10 sekundoj, mi ne estos akceptita en la brazila delegitaro kiu iras al la Londonaj Olimpikoj.”

5. Por trejni la uzon de veraj tabloj kaj scia reprezento uzante formuloj de propona logiko. Notu la jenajn deklarojn: Ĉiu persono kun muzika orelo kapablas kanti ĝuste. Neniu estas vera muzikisto se vi ne povas enrapturi lian publikon. Neniu, kiu havas muzikan orelon povas enrapturi lian publikon. Neniu, sed vera muzikisto, povas formi simfonio.

Bazita sur tiu informo, kiun propraĵoj havi personon kiu formis simfonion? Formaligu tiuj deklaroj uzante formuloj de propona logiko kaj uzante veraj tabloj respondi tiun ĉi demandon.

Advertisements

About josberto

Mi ŝatas traduki librojn pri matematiko kaj komputilaj teknologio. Mi esperas ke miaj tradukadoj estus utila kaj agrabla por vi.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: