Professional Documents
Culture Documents
Taller 2 LCAT
Taller 2 LCAT
a. 𝑝: 𝐸𝑠 𝑝𝑒𝑙𝑖𝑔𝑟𝑜𝑠𝑜 𝑐𝑜𝑛𝑑𝑢𝑐𝑖𝑟
-𝑞: 𝐸𝑠𝑡𝑎 𝑛𝑒𝑣𝑎𝑛𝑑𝑜
( 𝑝 < −𝑞 ), 𝑞, 𝑝
b. 𝑝: 𝐿𝑙𝑢𝑒𝑣𝑒
-𝑞: 𝐿𝑜𝑠 𝑎𝑟𝑏𝑜𝑙𝑒𝑠 𝑒𝑠𝑡𝑎𝑛 𝑚𝑜𝑗𝑎𝑑𝑜𝑠 .
(𝑝 → 𝑞 ), 𝑞, 𝑝
c. 𝑝: 𝑇𝑒𝑛𝑒𝑟 𝑒𝑙 𝑝𝑎𝑟𝑎𝑔𝑢𝑎𝑠
-𝑞: 𝑆𝑒 𝑚𝑜𝑗𝑎
-𝑟: 𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜
(𝑝 → (𝑟 ∧ (¬𝑟)), (𝑝 ∧ (¬𝑞 ))
d. 𝑝: 𝐻𝑎𝑦 𝑙𝑢𝑐𝑒𝑠 𝑟𝑜𝑗𝑎𝑠
-𝑞: 𝑆𝑒 𝑑𝑒𝑡𝑖𝑒𝑛𝑒
-𝑟: 𝐻𝑎𝑦 𝑢𝑛 𝑎𝑐𝑐𝑖𝑑𝑒𝑛𝑡𝑒
((𝑝 ∧ 𝑞 ) → (¬𝑟)), (¬𝑟), (𝑞 ∧ 𝑟)
a. -𝑝: 𝐼𝑠 𝑎 𝑝𝑢𝑟𝑝𝑙𝑒 𝑒𝑙𝑒𝑝ℎ𝑎𝑛𝑡
-𝑞: 𝐼𝑚 𝑎 𝑔𝑖𝑎𝑛𝑡 𝑡𝑢𝑟𝑘𝑒𝑦
(𝑝 → 𝑞 ), 𝑝, 𝑞
b. -𝑝: 𝐿𝑖𝑙𝑖𝑎𝑛𝑒 𝑖𝑠 𝑃𝑎𝑡𝑟𝑖𝑐𝑘 ′ 𝑠𝑖𝑠𝑡𝑒𝑟
-𝑞: 𝑃𝑎𝑡𝑟𝑖𝑐𝑘 𝑖𝑠 𝑆𝑦𝑙𝑣𝑖𝑒 ′ 𝑠 𝑏𝑟𝑜𝑡ℎ𝑒𝑟
-𝑟: 𝐿𝑖𝑙𝑖𝑎𝑛𝑒 𝑖𝑠 𝑆𝑦𝑙𝑣𝑖𝑒 ′ 𝑠 𝑠𝑖𝑠𝑡𝑒𝑟𝑠
((𝑝 ∧ 𝑞 ) → 𝑟)
c. -𝑝: 𝑆𝑚𝑜𝑘𝑒 𝑝𝑜𝑡
-𝑞: 𝑈𝑠𝑒 ℎ𝑒𝑟𝑜𝑖𝑛
(𝑝 → 𝑞 ), 𝑝, 𝑞
d. -𝑝: 𝑌𝑜𝑢 𝑎𝑟𝑒 𝑎 𝑐𝑜𝑛𝑓𝑖𝑑𝑒𝑛𝑡 𝑑𝑟𝑖𝑣𝑒𝑟
-𝑞: 𝑌𝑜𝑢′ 𝑣𝑒 𝑛𝑒𝑣𝑒𝑟 𝑏𝑒𝑒𝑛 𝑖𝑛 𝑎𝑛 𝑎𝑐𝑐𝑖𝑑𝑒𝑛𝑡
-𝑟: 𝐷𝑟𝑖𝑣𝑒 𝑜𝑣𝑒𝑟 𝑡ℎ𝑒 𝑠𝑝𝑒𝑒𝑑 𝑙𝑖𝑚𝑖𝑡 𝑖𝑠𝑛′ 𝑡 𝑑𝑎𝑛𝑔𝑒𝑟𝑜𝑢𝑠 𝑓𝑜𝑟 𝑦𝑜𝑢 𝑎𝑛𝑑 𝑜𝑡ℎ𝑒𝑟𝑠
((𝑝 ∧ 𝑞 ) → 𝑟), ( 𝑝 ∧ 𝑞 ) , 𝑟
e. -𝑝: 𝑝𝑎𝑟𝑟𝑜𝑡 𝑖𝑠 𝑖𝑛 𝑡ℎ𝑒 ℎ𝑜𝑢𝑠𝑒
-𝑞: 𝐴 𝑛𝑒𝑖𝑔ℎ𝑏𝑜𝑟 𝑙𝑖𝑣𝑒𝑠 𝑜𝑛𝑒 𝑘𝑖𝑙𝑜𝑚𝑒𝑡𝑒𝑟 𝑎𝑤𝑎𝑦
-𝑟: 𝑇ℎ𝑒 𝑛𝑒𝑖𝑔ℎ𝑏𝑜𝑟 𝑠𝑡𝑜𝑙𝑒 𝑡ℎ𝑒 𝑝𝑎𝑟𝑟𝑜𝑡
𝑝, 𝑞, ((¬𝑝) → 𝑟)
a. -𝑝: 𝑃𝑎𝑚𝑖𝑛𝑎 𝑒𝑠 𝑖𝑛𝑠𝑡𝑟𝑢𝑐𝑡𝑢𝑟𝑎 𝑑𝑒 𝑦𝑜𝑔𝑎
(𝑝 → (𝑟 ∧ 𝑠)) , (𝑞 → ( 𝑟 ∧ 𝑠)), (𝑡 → 𝑢)
b. -𝑝: 𝐷𝑜𝑠 𝑑𝑒 𝑙𝑜𝑠 ú𝑙𝑡𝑖𝑚𝑜𝑠 𝑡𝑟𝑒𝑠 𝑙𝑎𝑑𝑟𝑜𝑛𝑒𝑠 𝑟𝑒𝑓𝑒𝑟𝑖𝑑𝑜𝑠 𝑒𝑟𝑎𝑛 𝑒𝑠𝑐𝑜𝑙𝑎𝑟𝑒𝑠 𝑎𝑢𝑠𝑒𝑛𝑡𝑒𝑠 .
-𝑞: 𝐹𝑟𝑒𝑑 𝑒𝑠 𝑟𝑒𝑓𝑒𝑟𝑖𝑑𝑜 𝑝𝑜𝑟 𝑟𝑜𝑏𝑎𝑟 𝑢𝑛𝑎 𝑡𝑖𝑒𝑛𝑑𝑎
-𝑟: 𝐹𝑟𝑒𝑑 𝑒𝑠 𝑢𝑛 𝑒𝑠𝑐𝑜𝑙𝑎𝑟 𝑎𝑢𝑠𝑒𝑛𝑡𝑒
𝑝, (𝑞 → 𝑟)
- 𝑝: 𝑇ℎ𝑒𝑟𝑒 ′ 𝑠 𝑏𝑒𝑒𝑛 𝑎 𝑝𝑜𝑝𝑢𝑙𝑎𝑟 𝑟𝑒𝑣𝑜𝑙𝑢𝑡𝑖𝑜𝑛𝑎𝑟𝑦 𝑢𝑝𝑟𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝑇𝑢𝑛𝑖𝑠𝑖𝑎
- 𝑞: 𝑇ℎ𝑒𝑟𝑒 ′ 𝑠 𝑏𝑒𝑒𝑛 𝑎𝑛 𝑢𝑝𝑟𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝐿𝑦𝑏𝑖𝑎
- 𝑟: 𝑇ℎ𝑒𝑟𝑒 ′ 𝑠 𝑏𝑒𝑒𝑛 𝑎𝑛 𝑢𝑝𝑟𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝐸𝑔𝑦𝑝𝑡
- 𝑠: 𝑇ℎ𝑒𝑟𝑒´𝑠 𝑏𝑒𝑒𝑛 𝑎𝑛 𝑢𝑝𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝐵𝑎ℎ𝑟𝑎𝑖𝑛
- 𝑡: 𝑇ℎ𝑒𝑟𝑒´𝑠 𝑏𝑒𝑒𝑛 𝑎𝑛 𝑢𝑝𝑟𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝐼𝑟𝑎𝑛
- 𝑢: 𝑆𝑜 𝑡ℎ𝑒𝑟𝑒 𝑤𝑖𝑙𝑙 𝑏𝑒 𝑎𝑛 𝑢𝑝𝑟𝑖𝑠𝑖𝑛𝑔 𝑖𝑛 𝑎𝑡 𝑙𝑒𝑎𝑠𝑡 𝑜𝑛𝑒 𝑜𝑡ℎ𝑒𝑟 𝐴𝑟𝑎𝑏 𝑐𝑜𝑢𝑛𝑡𝑟𝑦
(((𝑝 ∧ 𝑞 ) ∧ (𝑟 ∧ 𝑠) ∧ 𝑡) → 𝑢)
(𝑝 → 𝑞 ), ((¬𝑞 ) → 𝑟) , (𝑟 → 𝑠), (𝑝 → 𝑠)
(𝑝 < − 𝑞)