[ocultar]

Recuerden subir los archivos a Cuba-Wiki y no linkearlos de servidores externos, siempre siguiendo la convención de nombres descripta acá.

Práctica 5 (LyC Verano)

De Cuba-Wiki

Ejercicio 01

Ejercicio 02

a)

  • 1.SP3: (¬φ → ¬φ) → [ (¬φ → φ) → φ ]
  • 2.VALE: (¬φ → ¬φ) (ya que p → p es tautologia)
  • 3.MP 1 y 2: (¬φ → φ) → φ

→ (¬φ → φ) → φ es tautologia

b)

c)

Ejercicio 03

Ejercicio 04

Ejercicio 05

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10

Ejercicio 11

Ejercicio 12

Ejercicio 13

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Práctica_5_(LyC_Verano)&oldid=3386»