Federacia Universitato de Ceará Fako de Komputanta CB0515 Prof. João Fernando

Ekzercoj X Student(in)o: 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.